Merge branch 'master' of github.com:NikolajDanger/Gwendolyn

This commit is contained in:
NikolajDanger
2020-08-15 18:49:38 +02:00

View File

@@ -1,5 +1,6 @@
from .miscFuncs import logThis from .miscFuncs import logThis
import git # Used by stopServer() import git # Used by stopServer()
import re
class Funcs(): class Funcs():
def __init__(self,bot): def __init__(self,bot):
@@ -15,7 +16,7 @@ class Funcs():
return userID return userID
def getID(self,userName): def getID(self,userName):
user = self.bot.database["users"].find_one({"user name":userName}) user = self.bot.database["users"].find_one({"user name":re.compile(userName, re.IGNORECASE)})
if user != None: if user != None:
return user["_id"] return user["_id"]