Searched refs:wsid_end (Results 1 – 1 of 1) sorted by relevance
963 const char * wsid_end = filename.c_str() + filename.size(); in load_WS() local964 if (wsid_end > (wsid_start - 4) && in load_WS()965 wsid_end[-4] == '.' && in load_WS()966 wsid_end[-3] == 'a' && in load_WS()967 wsid_end[-2] == 'p' && in load_WS()968 wsid_end[-1] == 'l') wsid_end -= 4; // skip .apl extension in load_WS()969 const UTF8_string wsid_utf8(utf8P(wsid_start), wsid_end - wsid_start); in load_WS()