global.autoplay_leveldir);
if (autoplay_leveldir == NULL)
- Error(ERR_EXIT, "no such level identifier: '%s'",
- global.autoplay_leveldir);
+ Fail("no such level identifier: '%s'", global.autoplay_leveldir);
leveldir_current = autoplay_leveldir;
global.patchtapes_leveldir);
if (patchtapes_leveldir == NULL)
- Error(ERR_EXIT, "no such level identifier: '%s'",
- global.patchtapes_leveldir);
+ Fail("no such level identifier: '%s'", global.patchtapes_leveldir);
leveldir_current = patchtapes_leveldir;
GDI_END);
if (gi == NULL)
- Error(ERR_EXIT, "cannot create gadget");
+ Fail("cannot create gadget");
tape_gadget[id] = gi;
}