From a0f4450ec7f0a1584653efe9fdba95a839f82aaf Mon Sep 17 00:00:00 2001
From: Andreas Svanberg <andreass@dsv.su.se>
Date: Thu, 8 May 2014 09:54:30 +0200
Subject: [PATCH] Bash script to enable parallel deployment.

---
 parallel.sh | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100755 parallel.sh

diff --git a/parallel.sh b/parallel.sh
new file mode 100755
index 0000000000..92dc2e7aaa
--- /dev/null
+++ b/parallel.sh
@@ -0,0 +1,6 @@
+#!/bin/bash
+if [ ! $1 ]; then
+  echo "Usage: $0 <versionnumber>"
+  exit 1
+fi
+mv view/target/scipro2.war view/target/scipro2##$(printf "%06d" $1).war