tchernobog eec74de632 - Poll more often to make "jump_to()" faster. Also increase ... time given to a policy before judging it dead to ~5 seconds. git-svn-id: svn://svn.gna.org/svn/sgpemv2/trunk@1076 3ecf2c5c-341e-0410-92b4-d18e462d057c		2006-09-09 12:30:49 +00:00
..
pyloader	- Poll more often to make "jump_to()" faster. Also increase	2006-09-09 12:30:49 +00:00
xmlsave	-Update version numbers	2006-09-08 13:00:59 +00:00