Fixed unnecessary save prompt on exit.

2019-02-21, Edouard Tisserant