Exit with an error after printing failure
Exit with an error after printing failure

Ignore-this: 10091631d9303003a187cd46fd498fad

darcs-hash:20100218150915-4d692-873ab344fe1a0d7234cecdc802d6cb39cc310a2c

avsm/oasis-old,RadicalZephyr/oasis,Chris00/oasis,Chris00/oasis,gerdstolpmann/oasis,avsm/oasis-old,diml/oasis,Chris00/oasis,madroach/oasis,jpdeplaix/oasis,gerdstolpmann/oasis,avsm/oasis-old,RadicalZephyr/oasis,avsm/oasis-mirror,jpdeplaix/oasis,diml/oasis,jpdeplaix/oasis,avsm/oasis-mirror,avsm/oasis-mirror,gerdstolpmann/oasis,madroach/oasis