Skip to content
  • Tristan Van Berkom's avatar
    source.py: Remove unused method Source._del_workspace() · 202dd7cd
    Tristan Van Berkom authored
    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.
    202dd7cd