worklist/hifi — pull request #1195 by ZappoMan (2013-11-06 09:56:47+00:00)
Title: more potential fixes for voxel server crashes

- switch to queue instead of set for jurisdiction requestors because the interface is more clear
- lock the server tree before edits to prevent potential write/changes conflicting with encode thread