710
711
712
713
714
715
716
717
718
719
720
721
722
723
|
lib.net.mg_mgr_free(&self.webmgr)
for i=0,self.sources.ct do var src = self.sources.ptr + i
lib.report('closing data source ', src.id.ptr, '(', src.backend.id, ')')
src:close()
end
self.sources:free()
self.pool:free()
end
terra cfgcache:cfstr(name: pstring)
return self.overlord:conf_get(&self._pool, name)
end
terra cfgcache:cfint(name: pstring, default: intptr)
|
|
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
|
lib.net.mg_mgr_free(&self.webmgr)
for i=0,self.sources.ct do var src = self.sources.ptr + i
lib.report('closing data source ', src.id.ptr, '(', src.backend.id, ')')
src:close()
end
self.sources:free()
self.pool:free()
self.cfg:free()
end
terra cfgcache:cfstr(name: pstring)
return self.overlord:conf_get(&self._pool, name)
end
terra cfgcache:cfint(name: pstring, default: intptr)
|