[Anonymous]

Thank you for getting back to me Stephen. 
Unplugging the USB cable to the board  from the PC USB port is the most straightforward way to accomplish this, but there might be the odd occasion where the board is not detected when reconnecting. 
The teacher’s machine would have to be restarted in this case.