void function ( Driver arg0 ) { if ( drivers . contains ( arg0 ) ) drivers . removeElement ( arg0 ) ; }
this method de-registers a driver from the manager . concode_field_sep PrintWriter log_writer concode_elem_sep int login_timeout concode_elem_sep PrintStream log_stream concode_elem_sep Vector drivers concode_field_sep Connection getConnection concode_elem_sep Connection getConnection concode_elem_sep Connection getConnection concode_elem_sep void registerDriver concode_elem_sep void println concode_elem_sep void setLogWriter concode_elem_sep void setLoginTimeout concode_elem_sep PrintStream getLogStream concode_elem_sep Enumeration getDrivers concode_elem_sep int getLoginTimeout concode_elem_sep void setLogStream concode_elem_sep Driver getDriver concode_elem_sep PrintWriter getLogWriter