Hi again
My logs just told me that the fix is not sufficient. You also have to
import importlib.machinery.
Sorry for the hassle -- Peppo
** builder.py.orig 2019-09-24 18:19:19.000000000 +0200
--- builder.py 2025-10-10 08:05:58.140673634 +0200
***************
*** 13,18 ****
--- 13,20 ----
try:
import importlib
+ import importlib.util
+ import importlib.machinery
try:
PY_MAGIC_NUMBER = importlib.util.MAGIC_NUMBER
--
Universität Bern
Phil.-nat. Fakultät
Institut für Informatik
Dr. Peppo Brambilla
Systemadministrator
Neubrückstrasse 10
3012 Bern
Schweiz
Telefon +41 31 684 33 10
