Wayne, I assume your colleague was using VNC 3.3.7, in which case he should just have used the "Disconnect All Clients" option from the WinVNC tray icon menu of the production server. Wez @ RealVNC Ltd.