Function run_server

pub fn run_server(name: Option<&str>) -> Result<IsabelleServer>

Runs the Isabelle server and returns an IsabelleServer instance containing port and password. If a server is already running with the given name, the function returns the port and password of the instance. If no server is running with the given name, the function starts a new server. The server not shut down, even if this terminates. To stop it, you need to call IsabelleServer::exit or exit.

Arguments

• name - The name of the server instance (default is isabelle).

Returns

An IsabelleServer instance containing name, port, and password.

Example

use isabelle_client::server::run_server;
let mut server = run_server(Some("test")).unwrap();
assert!(server.port() > 0);
assert!(!server.password().is_empty());
server.exit();