/* [[[TODO: WDW - clean up the g_io_channel here?]]] 
/* [[[TODO: WDW - clean up the g_io_channel here?  Logged * as bugzilla bug 319649.]]] 
static PyObject *brl_module_shutdown(PyObject *self) {        if (brl_initialized) {	        /* [[[TODO: WDW - clean up the g_io_channel here?]]] 		 */   	        brlapi_leaveTty();		brlapi_closeConnection();	}	brl_initialized = 0;	return PyInt_FromLong(1);}
5216	/local/tlutelli/issta_data/temp/c/2005_temp/2005/5216/61077fafc5576a6663bdaa64a11a2028d845015f/brlmodule.c/clean/src/brl/brlmodule.c