diff options
author | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-07-30 18:07:37 -0300 |
---|---|---|
committer | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-07-31 11:35:16 -0300 |
commit | 08d89399eb41261d796e8b35427354581c0c8f4a (patch) | |
tree | a60bd2d5c3685b8f4b12c9f37c1ee063e028bc09 /pkg/osx/build_bundle_from_linux.sh | |
parent | 0f72cb6694ea8f6d17f731c469f976250eab61f8 (diff) |
Handle the system's quit correctly.
Use a simple sleep to wait until the services are stopped and then kill
the backend, always in a fixed time in order to avoid blocks/hangs on
the system session logout.
Closes #5870.
Diffstat (limited to 'pkg/osx/build_bundle_from_linux.sh')
0 files changed, 0 insertions, 0 deletions