diff options
-rw-r--r-- | config/widentd/widentd.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config/widentd/widentd.xml b/config/widentd/widentd.xml index ea6f538a..55f7aec2 100644 --- a/config/widentd/widentd.xml +++ b/config/widentd/widentd.xml @@ -113,7 +113,7 @@ "stop" => $stop ) ); - + restart_service("widentd"); config_unlock(); conf_mount_ro(); @@ -133,7 +133,7 @@ if (($post['sysname'] != "") && !preg_match("/^[a-zA-Z]+$/", $post['sysname'])) { $input_errors[] .= 'System name may only contain uppercase and lowercase letters [a-zA-Z].'; } - + /* Check for IPv6-only interfaces */ $int = convert_friendly_interface_to_real_interface_name($post['interface']); $ip = find_interface_ip($int); |