Fix for the initialisation of the Exec_info class for the prompt/script output.
The class was not being initialised at all! Thought the variables were class rather than instance variables, so the problem was hidden.
Authored by: bugman 2012-04-17
Parent: [r15756]
Child: [r15758]