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 /docs/api | |
| 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 'docs/api')
0 files changed, 0 insertions, 0 deletions