String function ( ) { return filename ; }
return the name of the port file . concode_field_sep File stopFile concode_elem_sep long myServerCookie concode_elem_sep String filename concode_elem_sep File file concode_elem_sep RandomAccessFile rwfile concode_elem_sep int myServerPort concode_elem_sep FileChannel channel concode_elem_sep int magicNr concode_elem_sep FileLock lock concode_elem_sep int serverPort concode_elem_sep boolean containsPortInfo concode_elem_sep long serverCookie concode_field_sep void unlock concode_elem_sep int getPort concode_elem_sep boolean waitForValidValues concode_elem_sep void getValues concode_elem_sep void setValues concode_elem_sep void lock concode_elem_sep boolean exists concode_elem_sep boolean markedForStop concode_elem_sep long getCookie concode_elem_sep void delete concode_elem_sep boolean containsPortInfo concode_elem_sep boolean stillMyValues