destroy the repl server , releasing the port . concode_field_sep Handler handler concode_elem_sep int BLOCKS_EDITOR_PORT concode_elem_sep String LOG_TAG concode_elem_sep Form form concode_elem_sep int port concode_elem_sep REPLServerController blocksEditorReplController concode_elem_sep List<Socket> openClientSockets concode_elem_sep Thread serverThread concode_elem_sep ServerSocket socket concode_elem_sep Object lock concode_elem_sep boolean everStarted concode_field_sep void StopServer concode_elem_sep void startListening concode_elem_sep void closeSockets concode_elem_sep void stopListening concode_elem_sep void ShowAlert concode_elem_sep boolean ServerRunning concode_elem_sep Thread createServerThread concode_elem_sep void StartServer
void function ( ) { blocksEditorReplController . StopServer ( ) ; }