detect the ubuntu version based on /etc/os-release

Uwe Merbeth

2016-05-09 f5daecadf5846ff0b2d512e6a1a47f17342fe02b

 server/mods-available/monitor_core_module.inc.php

@@ -41,7 +41,6 @@

   function process() {
   }

}

?>