diff --git a/xtrn/lord/lord.js b/xtrn/lord/lord.js index b0cbbc719be18942bf9aeb03b7bd99fe56790616..d39792bd53347c1d2ba6745066d04bcb28f64b88 100644 --- a/xtrn/lord/lord.js +++ b/xtrn/lord/lord.js @@ -1788,7 +1788,8 @@ function rfmutex(fname) fname += '.lock'; idx = cleanup_files.indexOf(fname); if (idx === -1) { - throw new Error('Removing unknown fmutex '+fname); + // throw new Error('Removing unknown fmutex '+fname); + return; } file_remove(fname); cleanup_files.splice(idx, 1);