fix quit bug #9242 in mantis