From f819bdcf57149f0749ad79f37b24936e3757a6d0 Mon Sep 17 00:00:00 2001
From: Patrick Simianer <p@simianer.de>
Date: Thu, 17 Dec 2015 16:33:28 +0100
Subject: run beta test script

---
 .gitignore          |  1 -
 util/run_beta_test  | 10 ++++++++++
 util/run_beta_test1 | 10 ----------
 3 files changed, 10 insertions(+), 11 deletions(-)
 create mode 100755 util/run_beta_test
 delete mode 100755 util/run_beta_test1

diff --git a/.gitignore b/.gitignore
index dca1289..70d6694 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,3 @@
 js/derivation_editor
-util/run_beta_test
 logs/
 
diff --git a/util/run_beta_test b/util/run_beta_test
new file mode 100755
index 0000000..a0fe20f
--- /dev/null
+++ b/util/run_beta_test
@@ -0,0 +1,10 @@
+#!/bin/zsh -x
+
+cd /fast_scratch/simianer/lfpe/lfpe/util
+./kill; ./kill; ./kill;
+for i in ../../sessions/product_de-en_beta_test_*; do
+  echo $i
+  echo $(basename $i)
+  ./run_server $(basename $i) &; sleep 600;
+done
+
diff --git a/util/run_beta_test1 b/util/run_beta_test1
deleted file mode 100755
index a0fe20f..0000000
--- a/util/run_beta_test1
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/zsh -x
-
-cd /fast_scratch/simianer/lfpe/lfpe/util
-./kill; ./kill; ./kill;
-for i in ../../sessions/product_de-en_beta_test_*; do
-  echo $i
-  echo $(basename $i)
-  ./run_server $(basename $i) &; sleep 600;
-done
-
-- 
cgit v1.2.3