let get_share () = match ShareDir.get() with | "" -> Config.datadir^"/wp" | dir -> if Sys.file_exists dir && Sys.is_directory dir then dir else abort "'%s': no such directory" dir