diff --git a/install/lib/install.lib.php b/install/lib/install.lib.php index fc68776863dce8229a2fbf9b260a2b222ab95ac1..06b10cbcbc9cd6286e701df14ed86042956ff921 100644 --- a/install/lib/install.lib.php +++ b/install/lib/install.lib.php @@ -95,6 +95,10 @@ function get_distname() { $mainver = current($mainver).'.'.next($mainver); } switch ($mainver){ + case "18.04": + $relname = "(Bionic Beaver)"; + $distconfid = 'ubuntu1804'; + break; case "17.10": $relname = "(Artful Aardvark)"; $distconfid = 'ubuntu1710'; diff --git a/server/lib/classes/monitor_tools.inc.php b/server/lib/classes/monitor_tools.inc.php index 9f7580fee1e105bb752799c37592ddff073b7410..eec546088e01f9db708205e2021a7dce671b94ef 100644 --- a/server/lib/classes/monitor_tools.inc.php +++ b/server/lib/classes/monitor_tools.inc.php @@ -87,6 +87,10 @@ class monitor_tools { $mainver = $ver; } switch ($mainver){ + case "18.04": + $relname = "(Bionic Beaver)"; + $distconfid = 'ubuntu1804'; + break; case "17.10": $relname = "(Artful Aardvark)"; $distconfid = 'ubuntu1710';