deploy script + change server port

deploy.sh

@@ -0,0 +1,23 @@
+#!/bin/bash
+git checkout **/package-lock.json
+git pull
+
+# Front
+pushd front
+npm i
+time tsc
+popd
+
+# Grunt
+pushd grunt
+npm i
+grunt
+popd
+
+# Server
+pushd server
+npm i
+time tsc
+popd
+
+

server/server.ts

@@ -5,7 +5,7 @@ import __rootDir from './lib/RootDirFinder';
 import { c } from './lib/Log';
 import * as Utils from './lib/Utils';
 const app = express();
-const PORT = 3000;
+const PORT = 3200;
 const __frontDir = __rootDir+`/front`;
 
 // Express setup