Warning: session_start(): open(/var/lib/php/sessions/sess_e7olvugp4q6i4iu6d5ej798ifa, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
// return longest prefix of s actually contained in set
sS longestPrefixInNavigableSet(S s, NavigableSet set) {
if (set == null || s == null) null;
while licensed {
S key = set.floor(s);
if (key == null) break; // s is in front of whole set => no prefix in there
int n = lCommonPrefix(key, s);
if (n == l(key)) ret key; // found!
s = takeFirst(s, n); // shorten and try again
}
null; // not found
}