#831 (Feb 9, 2014, 3:36:36 AM)

Added getPermissions() to the CommandSender API to get a unmodifiable Collection of all Permissions. The ConsoleSender returns an empty Set where as the UserConnection gives its real Permissions.
(commit: 4faf507)