default ports for deviceServers

slave/deviceServers/buzzerServer.js

@@ -7,6 +7,8 @@ var gpio = require("pi-gpio");
 
 var argv = process.argv;
 var port = argv[2];
+if (port == undefined)
+  port = 8888;
 var pin = argv[3];
 if (pin == undefined)
   pin = 12;

slave/deviceServers/cameraServer.js

@@ -9,6 +9,8 @@ var request = require("superagent");
 var argv = process.argv;
 var app = express();
 var port = argv[2];
+if (port == undefined)
+  port = 9999;
 
 //handle post/put
 app.use(function (req, res, next) {

slave/deviceServers/ledServer.js

@@ -7,6 +7,8 @@ var gpio = require("pi-gpio");
 
 var argv = process.argv;
 var port = argv[2];
+if (port == undefined)
+  port = 1234;
 var pin = argv[3];
 if (pin == undefined)
   pin = 11;

slave/deviceServers/photocellServer.js

@@ -6,7 +6,6 @@ var cors = require('cors');
 
 var argv = process.argv;
 var port = argv[2];
-
 if (port === undefined)
   port =  4444;
 

slave/deviceServers/proximityServer.js

@@ -8,6 +8,8 @@ var request = require("superagent");
 
 var argv = process.argv;
 var port = argv[2];
+if (port == undefined)
+  port = 1111;
 var pin = argv[3];
 if (pin == undefined)
   pin = 11;

slave/deviceServers/speakerServer.js

@@ -7,7 +7,8 @@ var request = require("superagent");
 var argv = process.argv;
 var app = express();
 var port = argv[2];
-
+if (port == undefined)
+  port = 3333;
 //handle put
 app.use(function (req, res, next) {
   getRawBody(req, {