Removed function to manage exit, that is useless

Author Leonardo Robol <robol@lab2.dm.unipi.it>
Author date 2009-05-05 09:44:46
Author local date 2009-05-05 11:44:46 +0200
Committer Leonardo Robol <robol@lab2.dm.unipi.it>
Committer date 2009-05-05 09:44:46
Committer local date 2009-05-05 11:44:46 +0200
Commit 043a4bef8b542454193b2ac15cec2dcf7e49b952
Tree 4965abe71950fa80a7f26d5660ba305fbafeb8f4
Parent 619786c082cdebd769045bea7bd592b2dab04cab
Removed function to manage exit, that is useless
ViewGit