# Release serial port lock.

# Socket identifier from an earlier communication.
uint32 socket