View Revisions: Note 4296

Summary 0001424: set_time_limit() executes infinitely