Ejemplo n.º 1
0
 def set_dvidenv(self, env):
     self._url = dvidenv.DvidUrl(env)
Ejemplo n.º 2
0
 def __init__(self, host=None, port=None, uuid=None, env=None):
     if env:
         self._url = dvidenv.DvidUrl(env)
     else:
         self._url = dvidenv.DvidUrl(
             dvidenv.DvidEnv(host=host, port=port, uuid=uuid))
Ejemplo n.º 3
0
 def set_server(self, env):
     self._url = dvidenv.DvidUrl(env)
Ejemplo n.º 4
0
 def load_server(self, config):
     env = dvidenv.DvidEnv(host = config.get('host', None), port = config.get('port', None), uuid = config.get('uuid', None))
     self._url = dvidenv.DvidUrl(env)
Ejemplo n.º 5
0
 def __init__(self, neutuPath = None, env = None):
     self._neutu = neutuPath
     self._url = dvidenv.DvidUrl(env)
     self._commit = False