(library
 (name monitor)
 (public_name eliom.server.monitor)
 (wrapped false)
 (modules eliom_monitor)
 (libraries eliom.server))

(library
 (name monitor_start)
 (public_name eliom.server.monitor.start)
 (wrapped false)
 (modules eliom_monitor_main)
 (libraries monitor eliom.server))
