Searched refs:new_leveldir_identifier (Results 1 – 4 of 4) sorted by relevance
507 char *new_leveldir_identifier; in Handle_OP_START_PLAYING() local513 new_leveldir_identifier = (char *)&buffer[10]; in Handle_OP_START_PLAYING()516 new_leveldir_identifier); in Handle_OP_START_PLAYING()519 Error(ERR_WARN, "no such level identifier: '%s'", new_leveldir_identifier); in Handle_OP_START_PLAYING()
507 char *new_leveldir_identifier; in Handle_OP_START_PLAYING() local512 new_leveldir_identifier = (char *)&buffer[10]; in Handle_OP_START_PLAYING()515 new_leveldir_identifier); in Handle_OP_START_PLAYING()518 Error(ERR_WARN, "no such level identifier: '%s'", new_leveldir_identifier); in Handle_OP_START_PLAYING()