From 324d76cf4f54c428bfbe566ccc3d48b56702511c Mon Sep 17 00:00:00 2001
From: Tobias Langer <tobias.langer@oth-regensburg.de>
Date: Mon, 21 Nov 2016 09:17:50 +0100
Subject: [PATCH] Cleanup.

---
 runner.py | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/runner.py b/runner.py
index 7671952..9237b5b 100755
--- a/runner.py
+++ b/runner.py
@@ -91,18 +91,5 @@ def main():
                 os.remove(experiment_file)
                 shutil.rmtree(experiment)
 
-
-    #        with cd(experiment):
-    #            try:
-    #                p = Popen(['./' + experiment], stdout=PIPE)
-    #                out, err = p.communicate()
-    #            except Exception as e:
-    #                print(e)
-    #                print('Failed running experiment: {}', experiment,
-    #                      file=sys.stderr)
-    #                sys.exit(1)
-    #        with open(os.path.join('results', experiment + '.out'), 'w') as of:
-    #            of.write(str(out))
-
 if __name__ == '__main__':
     main()
--
libgit2 0.26.0