From 2c379607d667324ec07a29fc28f28c2894159900 Mon Sep 17 00:00:00 2001
From: Simon Rettberg
Date: Wed, 10 May 2017 12:00:09 +0200
Subject: [locationinfo] Allow setting a location's server to "none"

---
 modules-available/locationinfo/page.inc.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'modules-available/locationinfo/page.inc.php')

diff --git a/modules-available/locationinfo/page.inc.php b/modules-available/locationinfo/page.inc.php
index 610ef0d0..52964b10 100644
--- a/modules-available/locationinfo/page.inc.php
+++ b/modules-available/locationinfo/page.inc.php
@@ -72,8 +72,7 @@ class Page_LocationInfo extends Page
 		}
 		$serverid = Request::post('serverid', 0, 'int');
 		if ($serverid === 0) {
-			Message::addError('main.value-invalid', 'serverid', 0);
-			Util::redirect('?do=locationinfo');
+			$serverid = null;
 		}
 		$result['language'] = Request::post('language', 'en', 'string');
 		$result['mode'] = Request::post('mode', 1, 'int');
-- 
cgit v1.2.3-55-g7522