|
@@ -7,8 +7,8 @@ class Workspace(object):
|
|
|
def __init__(self, device, workspace_id):
|
|
|
self._device = device
|
|
|
self._workspace_id = workspace_id
|
|
|
- self._path = self.device.GetWorkspacePath(workspace_id)
|
|
|
- logging.getLogger().info("Created workspace={}".format(self))
|
|
|
+ self._path = device.GetWorkspacePath(workspace_id)
|
|
|
+ logging.getLogger().info("Create {}".format(self))
|
|
|
|
|
|
def __enter__(self):
|
|
|
return self
|
|
@@ -25,7 +25,7 @@ class Workspace(object):
|
|
|
|
|
|
def close(self):
|
|
|
self._device.CloseWorkspace(self._workspace_id)
|
|
|
- logging.getLogger().info("Closed workspace={}".format(self))
|
|
|
+ logging.getLogger().info("Closed {}".format(self))
|
|
|
|
|
|
|
|
|
class WorkspaceCreator(object):
|
|
@@ -38,5 +38,5 @@ class WorkspaceCreator(object):
|
|
|
self._last_workspace = None
|
|
|
|
|
|
def create(self):
|
|
|
- workspace_id = self._device.CreateWorkspace
|
|
|
+ workspace_id = self._device.CreateWorkspace()
|
|
|
return Workspace(self._device, workspace_id)
|