Thibault Jouan 1575a2d369 Handle termination properly ...

* Tell the manager to close the display before terminating;
* Log about quit request and process termination.

2015-04-15 12:49:04 +00:00

1.4 KiB

Raw Blame History

View Raw