Searched refs:wsid_start (Results 1 – 1 of 1) sorted by relevance
960 const char * wsid_start = strrchr(filename.c_str(), '/'); in load_WS() local961 if (wsid_start == 0) wsid_start = filename.c_str(); in load_WS()962 else ++wsid_start; // skip / in load_WS()964 if (wsid_end > (wsid_start - 4) && in load_WS()969 const UTF8_string wsid_utf8(utf8P(wsid_start), wsid_end - wsid_start); in load_WS()