diff options
| author |  Masood Malekghassemi <soltanmm@users.noreply.github.com> | 2015-08-19 17:21:51 -0700 |
|---|---|---|
| committer | Masood Malekghassemi <soltanmm@users.noreply.github.com> | 2015-08-19 17:21:51 -0700 |
| commit | b714648e517ccb647eaa2d79f529f3a0e6067ddf (patch) | |
| tree | a4b81ba29c0c2ceadcda72721e9baabf5e54f733 /src/php/lib | |
| parent | d7c27c61a89c6ead0fb943f4a35bbed4940ce3c2 (diff) | |
| parent | 00a3dab83a7f8e08ba9e9b8349da2d76ea1e4731 (diff) | |
Merge pull request #2991 from murgatroid99/core_shutdown_idempotency
Short-circuit shutdown when it is already published (core)
Diffstat (limited to 'src/php/lib')
0 files changed, 0 insertions, 0 deletions