# HG changeset patch
# User Charly COSTE <changaco@changaco.net>
# Date 1263930642 -3600
# Node ID c021656e4c54067edfd22f67ba1c78bc218de76a
# Parent  266a6afb6b7979583d4002d5c7559d798d1b4a54
minor fix in start_bots_from_xml_config.py

Signed-off-by: Charly COSTE <changaco@changaco.net>

diff -r 266a6afb6b79 -r c021656e4c54 start_bots_from_xml_config.py
--- a/start_bots_from_xml_config.py	Tue Jan 19 09:28:11 2010 +0100
+++ b/start_bots_from_xml_config.py	Tue Jan 19 20:50:42 2010 +0100
@@ -85,7 +85,7 @@
 	
 	while True:
 		for bot in bots:
-			if len(bot.xmpp_connections) == 0:
+			if bot.halt and len(bot.xmpp_connections) == 0:
 				bots.remove(bot)
 		if len(bots) == 0:
 			raise Exception()