From 5b6d09ad29e4f1695689bd6b24d681c4f926ea4b Mon Sep 17 00:00:00 2001 From: Thomas Bruederli <thomas@roundcube.net> Date: Wed, 23 Apr 2014 14:56:10 -0400 Subject: [PATCH] Configured host can be a URL --- bin/deluser.sh | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-) diff --git a/bin/deluser.sh b/bin/deluser.sh index 84c8446..f12ec90 100755 --- a/bin/deluser.sh +++ b/bin/deluser.sh @@ -58,6 +58,12 @@ else { _die("Specify a host name", true); } + + // host can be a URL like tls://192.168.12.44 + $host_url = parse_url($args['host']); + if ($host_url['host']) { + $args['host'] = $host_url['host']; + } } // connect to DB -- Gitblit v1.9.1