aboutsummaryrefslogtreecommitdiffstats
path: root/bin/server.ml
blob: 64c4594055e299e1358246130dbcefcb777e212b (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
open Relational_engine

let () =
  if Array.length Sys.argv <> 2 then begin
    Printf.eprintf "Usage: %s <config-file>\n%!" Sys.argv.(0);
    exit 1
  end;
  match System.run_from_config Sys.argv.(1) with
  | Error e ->
      Printf.eprintf "Couldn't initialize: %s\n%!" (Condition.to_string e);
      exit 1
  | Ok run -> run ()