diff --git a/install/dist/conf/ubuntu1604.conf.php b/install/dist/conf/ubuntu1604.conf.php new file mode 100644 index 0000000000000000000000000000000000000000..92787bf428c441fdfae359ce967b6a813e42cd53 --- /dev/null +++ b/install/dist/conf/ubuntu1604.conf.php @@ -0,0 +1,230 @@ + diff --git a/install/dist/lib/ubuntu1604.lib.php b/install/dist/lib/ubuntu1604.lib.php new file mode 100644 index 0000000000000000000000000000000000000000..7aba0dc883152ac2401e5e71becf9a07edbffc01 --- /dev/null +++ b/install/dist/lib/ubuntu1604.lib.php @@ -0,0 +1,35 @@ + diff --git a/install/lib/install.lib.php b/install/lib/install.lib.php index 08b0f8424a8a634de5944c4f7db19663e42f734a..67550c8dda511489146ffac5cd72829e8ba18574 100644 --- a/install/lib/install.lib.php +++ b/install/lib/install.lib.php @@ -86,6 +86,10 @@ function get_distname() { $mainver = array_filter($mainver); $mainver = current($mainver).'.'.next($mainver); switch ($mainver){ + case "16.04": + $relname = "(Xenial Xerus)"; + $distid = 'ubuntu1604'; + break; case "15.10": $relname = "(Wily Werewolf)"; break; diff --git a/server/lib/classes/monitor_tools.inc.php b/server/lib/classes/monitor_tools.inc.php index 9493dc67d04cbbfd9ce2fad28598207a7b5a3a07..9493937aa59db9e94a679416adfa0669953ea7f2 100644 --- a/server/lib/classes/monitor_tools.inc.php +++ b/server/lib/classes/monitor_tools.inc.php @@ -62,6 +62,10 @@ class monitor_tools { $mainver = array_filter($mainver); $mainver = current($mainver).'.'.next($mainver); switch ($mainver){ + case "16.04": + $relname = "(Xenial Xerus)"; + $distid = 'ubuntu1604'; + break; case "15.10": $relname = "(Wily Werewolf)"; break;