From: Petr Benes <benesp16@fel.cvut.cz>
Date: Tue, 22 Feb 2011 12:08:19 +0000 (+0100)
Subject: forb: fcb script passes a server id to forbrun
X-Git-Url: http://rtime.felk.cvut.cz/gitweb/frescor/frsh.git/commitdiff_plain/37ab611a918818fb4c102b2e917a3d3c19992901?ds=sidebyside

forb: fcb script passes a server id to forbrun
---

diff --git a/fres/cbroker/fcb b/fres/cbroker/fcb
index 36976e4..81d79c8 100755
--- a/fres/cbroker/fcb
+++ b/fres/cbroker/fcb
@@ -12,4 +12,4 @@ while [ $# -gt 0 ]; do
     shift
 done
 
-forbrun -i "org.frescor.fcb" $FORBRUN_ARGS -- libfcb.so $FCB_ARGS
+forbrun -i "org.frescor.fcb" -s 1111111111111111 $FORBRUN_ARGS -- libfcb.so $FCB_ARGS