excavator: don't excavate more than once
if the file already exists we can just use it without further excavation attempts. this covers cases where after excavation a gdb failed to start or crashed and the user subsequently clicked retry in the ui - this would previously cause another excavation attempt that failed on the file already existing
parent
12fdd083
Please register or sign in to comment