Update lib.server.php