fix console.pl so it ends gracefully
authorDirk Koopman <djk@tobit.co.uk>
Thu, 22 Dec 2011 22:42:15 +0000 (22:42 +0000)
committerDirk Koopman <djk@tobit.co.uk>
Thu, 22 Dec 2011 22:42:15 +0000 (22:42 +0000)

No differences found