VPS 1.2: handle timers without event-id correctly
authorMartin Gauk <mart-g@web.de>
Wed, 22 Aug 2012 09:38:47 +0000 (11:38 +0200)
committerMartin Gauk <mart-g@web.de>
Wed, 22 Aug 2012 09:38:47 +0000 (11:38 +0200)
commitb30673171740724f39b2718b351f789b05326f46
tree6ebe2c1673ceeaa94c2484f212420f8724484e04
parent9ec2b3ed22f49f38029a6b109e2312422dbb7aec
VPS 1.2: handle timers without event-id correctly
vps/src_py/Modifications.py
vps/src_py/Vps.py
vps/src_py/Vps_setup.py