Fixed some name issues, ops have control over other's zones.

Author: minecraft server

helpers.py

@@ -9,7 +9,7 @@
 def ops():
 	"""Get list of op usernames."""
 	ret = open(os.path.join(SERVER_DIR, 'ops.txt')).read().strip().split('\n')
-	ret = [unicode(name) for name in ret]
+	ret = [unicode(name.lower()) for name in ret]
 	return ret
 
 def server_cmd(command):
@@ -54,7 +54,7 @@ def color(name):
 
 def all_users():
 	"""Returns list of users who ever played on the server"""
-	return [name[:-4] for name in os.listdir(os.path.join(WORLD_DIR, 'players'))]
+	return [unicode(name[:-4]).lower() for name in os.listdir(os.path.join(WORLD_DIR, 'players'))]
 
 
 def tell(user, message, prefix=''):

plugins/zone_cmds.py

@@ -69,7 +69,7 @@ def zoneinfo(message, user, name):
 	except KeyError:
 		tell(user, "That zone doesn't exist!")
 		return
-	if not controls_zone(user.username, zone):
+	if not controls_zone(user.username, zone) and not user.username in ops():
 		tell(user, "That isn't your zone.")
 		return
 
@@ -209,7 +209,7 @@ def zonedestroy(message, user, name):
 	except KeyError:
 		tell(user, "That zone doesn't exist!")
 		return
-	if not controls_zone(user.username, zone):
+	if not controls_zone(user.username, zone) and not user.username in ops():
 		tell(user, "That isn't your zone.")
 	get_zones().pop(name)
 	tell(user, "Zone deleted.")