Ladsgroup added a comment.
Maybe we can have a general timeout using `timeout` bash command instead. Something like `$timeout 3600 php foo.php &`? TASK DETAIL https://phabricator.wikimedia.org/T243894 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: Ladsgroup Cc: Marostegui, Aklapper, elukey, Ladsgroup, Addshore, 4748kitoko, Iflorez, darthmon_wmde, alaa_wmde, Nandana, Akovalyov, Lahi, Gq86, GoranSMilovanovic, QZanden, LawExplorer, _jensen, rosalieper, Scott_WUaS, Jonas, JAllemandou, terrrydactyl, Wikidata-bugs, aude, Lydia_Pintscher, Mbch331, jeremyb
_______________________________________________ Wikidata-bugs mailing list Wikidata-bugs@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
