small fix for ADMINS

info.py

@@ -16,7 +16,8 @@
 # Admins, Channels & Users
 ADMINS = [int(admin) if re.search('^\d+$', admin) else admin for admin in environ['ADMINS'].split()]
 CHANNELS = [int(ch) if re.search('^.\d+$', ch) else ch for ch in environ['CHANNELS'].split()]
-AUTH_USERS = [int(user) if re.search('^\d+$', user) else user for user in environ['AUTH_USERS'].split()]
+auth_users = [int(user) if re.search('^\d+$', user) else user for user in environ['AUTH_USERS'].split()]
+AUTH_USERS = (auth_users + ADMINS) if auth_users else []
 
 # MongoDB information
 DATABASE_URI = environ['DATABASE_URI']