[galaxy-commits] commit/galaxy-central: dan: Fix for managing user preferences in the Tool Shed.