They should've used a door strike meant for such things that they would've been able to control with their microcontroller, and then still have a normal knob/lock in place as a failsafe.

A quick google found the sort of setup I'm talking about and a how-to. These are the types of strikes use on commercial setups.

http://www.instructables.com/id/Easy-Bluetooth-Enabled-Door-...