cleans up the connection to the server by sending a termination message and then closing the connection . concode_field_sep TCPConnection connectionToServer concode_elem_sep FileMapping fileMap concode_elem_sep boolean closed concode_field_sep void populateFileMap concode_elem_sep void sendAvailableFilesToServer concode_elem_sep Set<String> getAvailableFiles concode_elem_sep FileMapping getFileMapping concode_elem_sep void checkFileExists concode_elem_sep String getNodeWithFile concode_elem_sep void updateInputFiles concode_elem_sep String getFileLocation concode_elem_sep void requestFile concode_elem_sep void updateServerFiles
void function ( String arg0 ) { if ( ! closed ) { byte [ ] loc0 = ConnectionUtils . constructTerminateMessage ( arg0 ) ; connectionToServer . send ( loc0 ) ; connectionToServer . close ( ) ; closed = true ; } }