combined statistics output to file

Samo Penic

2016-06-01 f3a6c1779ed6eea30da3c120c05153e9494f6715

 python/trisurf/tsmgr.py

@@ -80,8 +80,7 @@

      elif opt == '-k':
         if processno:
            p=psutil.Process(Runs[processno-1].getPID())
            p.kill()
            Runs[processno-1].stop()
      else:
         printHelp()
         sys.exit(2)