M.Z.

tecs/rstart.c

@@ -34,6 +34,7 @@ int main(int argc, char *argv[]) {
     if (0==strcmp(argv[i], "sics")) {
       str_append(cmd, "bin/startsics\n");
     } else if (0==strcmp(argv[i], "tecs")) {
+      if (i<argc) i++; /* skip argument */
       str_append(cmd, "bin/startecs\n");
     } else {
       printf("unknown server %s\n", argv[i]);