Bugfix: Deadlock in serviceMessage()

Default case in select returned without releasing the lock on the state
structure, leading to deadlock (only triggered when no messages were
available to be processed, and thus timing dependent).