On Sun, 2016-05-08 at 13:37 +0200, Reindl Harald wrote:
any common sense tells me for 15 years it's better to quit
applications cleanly by hand on any OS
Over 40 years experience tells me that people have different
requirements, so if a system offers session restore then it should work
or produce a coherent message when it doesn't. Anything else is a bug.