element.py: Fix force opening of workspaces.
This was broken because we let the Source objects initialize workspaces directly in the target workspace directory, where files might already exist. Instead, initialize the workspace in a tempdir and hardlink the files from there. This fixes issue #364
Loading
Please register or sign in to comment