This seems to be a python3 thingy:
Processing library directory '/home/jv/lib/mma/grooves/zoom'.
Deleting: /home/jv/lib/mma/grooves/zoom/rock.mma
Traceback (most recent call last):
File "/home/jv/bin/mma", line 84, in <module>
import MMA.main
File "/home/jv/src/mma/MMA/main.py", line 102, in <module>
MMA.auto.libUpdate() # update and EXIT
File "/home/jv/src/mma/MMA/auto.py", line 162, in libUpdate
for f in db.keys():
RuntimeError: dictionary changed size during iteration
Suggested fix (seems to work for python2 as well):
*** auto.py~ 2020-03-27 10:04:06.209477735 +0100
--- auto.py 2020-04-20 14:33:24.189912104 +0200
***************
*** 159,165 ****
# Strip out defs of deleted (not found) files. Only on -g (update mode)
if gbl.makeGrvDefs == 1:
! for f in db.keys():
if f not in processedFiles:
print(" Deleting: %s" % f)
del db[f]
--- 159,165 ----
# Strip out defs of deleted (not found) files. Only on -g (update mode)
if gbl.makeGrvDefs == 1:
! for f in list(db.keys()):
if f not in processedFiles:
print(" Deleting: %s" % f)
del db[f]