public interface WorkspaceService
Modifier and Type | Method and Description |
---|---|
void |
deleteWorkspace(String id)
Delete the workspace with the given identifier.
|
org.joda.time.DateTime |
getLeaseEnd(String workspaceId)
Get the lease end date and time of the workspace with the given
identifier.
|
Map<String,String> |
getSettings(String workspaceId)
Get the workspace settings.
|
File |
getWorkspaceFolder(String id)
Get the workspace folder for the given workspace identifier.
|
String |
leaseWorkspace(org.joda.time.ReadableDuration duration)
Lease a workspace folder for the given duration.
|
void |
set(String workspaceId,
String setting,
String value)
Change a workspace setting.
|
String leaseWorkspace(org.joda.time.ReadableDuration duration)
duration
- the lease durationFile getWorkspaceFolder(String id) throws FileNotFoundException
id
- the workspace identifierFileNotFoundException
- if the workspace does not existorg.joda.time.DateTime getLeaseEnd(String workspaceId) throws FileNotFoundException, IOException
workspaceId
- the workspace identifierFileNotFoundException
- if the workspace does not existIOException
- if the workspace configuration file cannot be readMap<String,String> getSettings(String workspaceId) throws FileNotFoundException, IOException
workspaceId
- the workspace identifierFileNotFoundException
- if the workspace does not existIOException
- if the workspace configuration file cannot be readset(String, String, String)
void set(String workspaceId, String setting, String value) throws FileNotFoundException, IOException
workspaceId
- the workspace identifiersetting
- the name of the settingvalue
- the value, null
to remove the settingFileNotFoundException
- if the workspace does not existIOException
- if the workspace configuration file cannot be read or
writtengetSettings(String)
void deleteWorkspace(String id)
id
- the workspace identifierBuild 2013-10-07_11-27-38
Revision 99b27713a799a59a21b0b166eaaea8aaefbf125a