<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_ttq3rec499fa3s48tsqolicjcl, 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 />
sS getAuthorOfSignedText(S signed) {
  ret pairB(getAuthorOfSignedText2(signed));
}

// returns pair(purported author, verified author)
static PairS getAuthorOfSignedText2(S signed) {
  try {
    L<S> lines = toLines(signed);
    S authorLine = nextToLast(lines);
    S sigLine = last(lines);
    print("authorLine: " + authorLine);
    S text = fromLines(dropLast(lines));
    //print("Verifying text: " + l(text) + " - " + quote(text));
    if (!startsWith(authorLine, "-")) null;
    S author = dropPrefix("-", authorLine);
    author = beforeComma(author); // drop date etc.
    if (!isComputerID(author)) fail("Not a computer ID: " + author);
    //print("Possible author: " + author);
    S publicKey = getPublicKeyOfComputer(author);
    if (publicKey == null)
      fail("Computer " + author + " has to publish a public key.");
    if (!startsWith(sigLine, "sig: ")) null;
    S sig = dropPrefix("sig: ", sigLine);
    if (!PKI.verifySignature(PKI.publicKeyFromString(publicKey), PKI.signatureFromString(sig), toUtf8(text))) {
      print("Signature doesn't verify");
      ret pair(author, null);
    }
    ret pair(author, author);
  } catch (RuntimeException e) {
    null;
  }
}