[Wikidata-bugs] [Maniphest] [Commented On] T142158: Job mediawiki-extensions-php55 frequently fails due to "Segmentation fault"

[gerritbot]

gerritbot added a comment.

Change 313048 abandoned by Hashar:
Correctly disable garbage collection

Reason:
The space does not matter:

Default:

$ php -r 'print ini_get("zend.enable_gc") . "\n";'
1

Without a space:

$ php -dzend.enable_gc=0 -r 'print ini_get("zend.enable_gc") . "\n";'
0

With a space:

$ php -d zend.enable_gc=0 -r 'print ini_get("zend.enable_gc") . "\n";'
0

https://gerrit.wikimedia.org/r/313048

TASK DETAIL

https://phabricator.wikimedia.org/T142158

EMAIL PREFERENCES

https://phabricator.wikimedia.org/settings/panel/emailpreferences/

To: gerritbot
Cc: aude, Addshore, Tobi_WMDE_SW, Stashbot, Jay8g, hashar, gerritbot, EBernhardson, matmarex, KartikMistry, Nikerabbit, daniel, hoo, bd808, greg, Paladox, dcausse, Legoktm, TerraCodes, Jdforrester-WMF, Luke081515, Krinkle, Aklapper, Lewizho99, Maathavan, D3r1ck01, Liudvikas, Izno, Wikidata-bugs, zeljkofilipin, Mbch331

_______________________________________________
Wikidata-bugs mailing list
Wikidata-bugs@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs