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