Fri, 16 Jan 2009 16:59:18 +0100 etisserant Enhanced the way "runtime.py" is executed,