#include <stdio.h>
#include <stdlib.h>
#include <oslib/wimp.h>
#include <oslib/wimpreadsysinfo.h>
#include "config.h"
#include "globals.h"

void err_fatal(os_error const *err)
{
    if (wimpreadsysinfo_desktop_state() != wimpreadsysinfo_STATE_DESKTOP)
//    if (before_wimp)
    {
        fprintf(stderr, "%s\n", err->errmess);
        exit(err->errnum);
    }
    else
    {
        wimp_error_box_flags flags = wimp_ERROR_BOX_OK_ICON;
        wimp_error_box_selection selection;
        
        selection = wimp_report_error(err, flags, PROGNAME);
        exit(err->errnum);
    }
}
