Changed config for Ubuntu unknown from 1604 to 1804

Till Brehm · Till Brehm · commit 7ee3e451be62 · 2019-07-08T12:47:55.000+02:00
diff --git a/install/lib/install.lib.php b/install/lib/install.lib.php
@@ -186,7 +186,7 @@ function get_distname() {
 				break;
 			default:
 				$relname = "UNKNOWN";
-				$distconfid = 'ubuntu1604';
+				$distconfid = 'ubuntu1804';
 			}
 			$distver = $ver.$lts." ".$relname;
 			swriteln("Operating System: ".$distname.' '.$distver."\n");

Original file line number	Diff line number	Diff line change
`@@ -186,7 +186,7 @@ function get_distname() {`
`186`	`186`	`break;`
`187`	`187`	`default:`
`188`	`188`	`$relname = "UNKNOWN";`
`189`		`- $distconfid = 'ubuntu1604';`
	`189`	`+ $distconfid = 'ubuntu1804';`
`190`	`190`	`}`
`191`	`191`	`$distver = $ver.$lts." ".$relname;`
`192`	`192`	`swriteln("Operating System: ".$distname.' '.$distver."\n");`