Respawn when quit
authorEnrico Zini <enrico@enricozini.org>
Fri, 7 Aug 2009 09:43:28 +0000 (10:43 +0100)
committerEnrico Zini <enrico@enricozini.org>
Fri, 7 Aug 2009 09:43:28 +0000 (10:43 +0100)
run

diff --git a/run b/run
index 5882ace8fbf649c2a348bae94b692a2829c88b8a..ae0c221be758da3e491918d8916b61a4f6fc7208 100755 (executable)
--- a/run
+++ b/run
@@ -9,4 +9,7 @@ export ZAVAI_PLUGINS=$ROOT/plugins
 #$ROOT/src/zavai "$@"
 
 cd $ROOT
-src/zavai "$@"
+while true
+do
+       src/zavai "$@"
+done