In contrast to runcampaign.sh this does not start a campaign server. TODO: use this from runcampaign.sh git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1675 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
In contrast to runcampaign.sh this does not start a campaign server. TODO: use this from runcampaign.sh git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1675 8c4709b5-6ec9-48aa-a5cd-a96041d1645a