Security fix - execfile() is no longer used to run relax scripts.
Instead a custom function exec_script() is being used to call runpy.run_module(). exec_script() also locks and releases the relax execution lock before and after operation.
Authored by: bugman 2010-12-15
Parent: [r11829]
Child: [r11831]