andrei/modelverse @ c2f2e27788bc6324cd8acc37aba25ee8b2ec6b58

Yentl Van Tendeloo 8d797659f3 Fixed problem with traceback printing the error in finding the stackframe		7 rokov pred
..
mvkcontroller.xml	605a7a15c0 Only break while after 20 iterations, to keep overhead lower	7 rokov pred
server.xml	2a15d5d502 Fixed everything	9 rokov pred
service.xml	4d7a950958 Removed spurious prints	8 rokov pred
socket.xml	0e48e93215 Fixed PM enactment code from set to list (for double enactment of e.g., join)	7 rokov pred
task.xml	8d797659f3 Fixed problem with traceback printing the error in finding the stackframe	7 rokov pred