+ RMI server tweaks, door push tweak