diff options
| author | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | 2018-04-02 20:00:06 +0900 |
|---|---|---|
| committer | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | 2018-04-02 20:00:06 +0900 |
| commit | 202dd7cd1d51ae475fa578b1097e735ae8e3659a (patch) | |
| tree | ebc1c9694e3a7167b45dc205d884ebd569d6e4a3 | |
| parent | 19e31adb00f19f0789a3c4622150ca8f6e9c8901 (diff) | |
| download | buildstream-202dd7cd1d51ae475fa578b1097e735ae8e3659a.tar.gz | |
source.py: Remove unused method Source._del_workspace()
This was never particularly useful, there is no circumstances
under which a workspace needs to be deleted, and a cache key
invalidated, in the course of a session.
A workspace is deleted only atomically as a part of `bst workspace close`,
which does not even load a pipeline anymore, so the pipeline state need not
be adjusted in this case.
| -rw-r--r-- | buildstream/source.py | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/buildstream/source.py b/buildstream/source.py index d7fac7280..cf362efc2 100644 --- a/buildstream/source.py +++ b/buildstream/source.py @@ -625,15 +625,6 @@ class Source(Plugin): def _get_workspace(self): return self.__workspace.path - # Delete the workspace - # - # Note that this invalidates the workspace key. - # - def _del_workspace(self): - if self._has_workspace(): - self.__workspace.invalidate_key() - self.__workspace = None - # Whether the source has a set workspace # def _has_workspace(self): |