title: .shake.database: openFile: resource busy (file is locked)
body: <p>I encounter the error </p>
  
  <pre><code>.shake.database: openFile: resource busy (file is locked)
  </code></pre>
  
  <p>and I have the impression that it is caused by two starts of shake quickly one after the other (caused by Twitch watching file change effects). Is this a reasonable interpretation of the cause of the error? </p>