let server () =
match !server with
| Some s ->
let procs = Wp_parameters.Procs.get () in
Task.set_procs s procs ; s
| None ->
let procs = Wp_parameters.Procs.get () in
let s = Task.server ~procs () in
Task.on_server_stop s Proof.savescripts ;
server := Some s ; s