20 {
21 const char *p = file;
22 const char *last_slash = nullptr;
23
24 while (*p) {
25 if (p[0] == 's' && p[1] == 'r' && p[2] == 'c' && p[3] == '/') {
26 return p;
27 }
28 if (*p == '/') {
29 last_slash = p;
30 }
31 p++;
32 }
33
34
35 if (last_slash) {
36 return last_slash + 1;
37 }
38 return file;
39}