jenkins-bot has submitted this change and it was merged. Change subject: Reapply "Dump corefiles on segfaults" ......................................................................
Reapply "Dump corefiles on segfaults" We have some PHP jobs mysteriously segfaulting (T142158). The last time it occured more than two years ago (T64623) Faidon Liambotis proposed to enabled a 2GBytes core dump limit which helped troubleshooting. Reinstate it. Core files will need to be cleaned often, though Puppet is supposed to take care of that. Bug: T142158 Bug: T96025 Change-Id: I7237f2e1c2330bddab48454fa3ecac1a66442601 Signed-off-by: Faidon Liambotis <fai...@wikimedia.org> --- M bin/mw-set-env.sh 1 file changed, 5 insertions(+), 0 deletions(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified diff --git a/bin/mw-set-env.sh b/bin/mw-set-env.sh index 78c14f6..cb41774 100755 --- a/bin/mw-set-env.sh +++ b/bin/mw-set-env.sh @@ -12,6 +12,11 @@ break fi; done; + +# allow the dumping of corefiles, up to 64MB +# T142158 +ulimit -c 2097152 + export MW_INSTALL_PATH export MW_TMPDIR="$TMPDIR" -- To view, visit https://gerrit.wikimedia.org/r/310673 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I7237f2e1c2330bddab48454fa3ecac1a66442601 Gerrit-PatchSet: 1 Gerrit-Project: integration/jenkins Gerrit-Branch: master Gerrit-Owner: Hashar <has...@free.fr> Gerrit-Reviewer: Faidon Liambotis <fai...@wikimedia.org> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits