<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_jiq4l13u47vqtiive8fhj5e0mg, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
  // covers the common cases
  static S getBotNameFromSnippet(S programID) ctex {
    S src = loadSnippet(programID);
    L<S> tok = javaTok(src);
    S[] m;
    for (S pat : litlist(
      "new Android3(*",
      "makeAndroid(*", "makeAndroid3(*", "makeSilentAndroid(*",
      "addToMultiPort(*")) {
      m = find2(javaTok(pat), tok);
      if (m != null && isQuoted(m[0])) ret unquote(m[0]);
    }
    ret null;
  }