Sat, 17 Nov 2007 09:44:14 +0100 mario Adding some basic error cheching.
Sat, 17 Nov 2007 09:20:44 +0100 mario Changing format of error reporting.
Fri, 16 Nov 2007 15:48:34 +0100 mario Fixing some more comments.