Fix starter script.
authorGabor Rapcsanyi <rgabor@inf.u-szeged.hu>
Sun, 5 Sep 2010 17:07:35 +0000 (19:07 +0200)
committerGabor Rapcsanyi <rgabor@inf.u-szeged.hu>
Sun, 5 Sep 2010 17:07:35 +0000 (19:07 +0200)
commit62d2a958aec8f88cc7dbbafa4abef258b023a37b
treef1d21ca19688b49330a232cfc9a971b3ea4ae0c0
parentf519fb34e971836de808ca03f60f64266dcfb9a0
Fix starter script.
scripts/start_bot.sh