From 48b3dffecb8e4c194d23eab45aeefdd2f0187df3 Mon Sep 17 00:00:00 2001
From: Mriyam Tamuli <mbtamuli@gmail.com>
Date: Thu, 13 Oct 2016 15:55:59 +0530
Subject: [PATCH] Proper usernames

---
 contrib/dokku-installer.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/contrib/dokku-installer.py b/contrib/dokku-installer.py
index 9634951dc..0e103d010 100755
--- a/contrib/dokku-installer.py
+++ b/contrib/dokku-installer.py
@@ -133,10 +133,10 @@ class GetHandler(SimpleHTTPServer.SimpleHTTPRequestHandler):
         self.wfile.write(json.dumps({'status': 'ok'}))
 
     def web_admin_user_exists(self):
-    return self.user_exists('web-admin(\d)')
+    return self.user_exists('web-admin(\d+)')
 
     def admin_user_exists(self):
-    return self.user_exists('admin(\d)')
+    return self.user_exists('admin(\d+)')
 
     def user_exists(self, name):
     command = 'dokku ssh-keys:list'