If a user just creates an infinite loop it seems it is a bit tricky to abort the execution. Is there a way to set a maximum time for execution?
