Minor fixes found while debugging

dedis · Jun 16, 2020 · 1d7fd07 · 1d7fd07
1 parent 41e4983
commit 1d7fd07
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/simul/build.go b/simul/build.go
@@ -92,7 +92,7 @@ func startBuild() {
 			case <-testsDone:
 				log.Lvl3("Done with test", simulation)
 			case <-time.After(timeout):
-				log.Fatal("Test failed to finish in", timeout, "seconds")
+				log.Fatal("Test failed to finish in", timeout)
 			}
 		}
 	}

diff --git a/simul/platform/cliutils.go b/simul/platform/cliutils.go
@@ -56,6 +56,7 @@ func SSHRun(username, host, command string) ([]byte, error) {
 		addr = username + "@" + addr
 	}
 
+	log.Lvl4("Going to ssh to", addr, command)
 	cmd := exec.Command("ssh", "-o", "StrictHostKeyChecking=no", addr,
 		"eval '"+command+"'")
 	buf, err := cmd.Output()

diff --git a/simul/platform/deterlab.go b/simul/platform/deterlab.go
@@ -333,7 +333,7 @@ func (d *Deterlab) Start(args ...string) error {
 	}
 	log.Lvl3("Setup remote port forwarding", cmd)
 	go func() {
-		err := SSHRunStdout(d.Login, d.Host, "cd remote; GOMAXPROCS=8 ./users -suite="+d.Suite)
+		err := SSHRunStdout(d.Login, d.Host, "cd remote; ./users -suite="+d.Suite)
 		if err != nil {
 			log.Lvl3(err)
 		}