Asking for saving before leaving (#1250)
Merge branch 'master' of git.openmole.org:openmole
Merge branch 'master' of git.openmole.org:openmole