On goal failure, exit with correct error message and error code.
[goaljobs.git] / TODO
2013-09-17 Richard W.M. JonesRename config.ml -> goaljobs_config.ml to avoid conflic...