diff options
| author | Florian Jung <flo@windfisch.org> | 2015-09-01 00:12:56 +0200 | 
|---|---|---|
| committer | Florian Jung <flo@windfisch.org> | 2015-09-01 00:12:56 +0200 | 
| commit | cf9460c7926be62dac8b786a586da01b8c637ad5 (patch) | |
| tree | 5385e652dc6fa70668a217bc4f47c2d337d9c53c | |
| parent | 6e3feebe36a8ff9aecc13e238c3b59ddc03c4709 (diff) | |
improvement
| -rw-r--r-- | main.py | 6 | 
1 files changed, 3 insertions, 3 deletions
@@ -58,7 +58,7 @@ class ProblemManager:              if self.setup[prob][2]:                  raise ProblemException -probs = ProblemManager({"network lag":(100,5,True), "strategy lag":(5,2,False), "gui lag":(5,2,False), "high fps":(300,6,True), "low fps":(5,6,True)}) +probs = ProblemManager({"network lag":(100,5,True), "strategy lag":(5,2,False), "gui lag":(5,2,False), "high fps":(5,6,True), "low fps":(5,6,True)})  if "--nogui" in sys.argv: @@ -155,8 +155,8 @@ while gui.running:          print("FPS: %3d" % fps)          if fps < 24:              probs.report("low fps") -    if fps > 50: -        probs.report("high fps") +        if fps > 50: +            probs.report("high fps")  stats.save("stats.pickle")  | 
