Pyjs has two different implementations for logging:
logging in pyjs/lib/,
a copy of Python's logging module implementationlogging in pyjswidgets/pyjamas/,
an enhancement module for Python's logging module suggested to be used in Pyjs
We obviously can't consolidate them, because one is the Python library implementation, and only the other is Pyjs source code that extends the latter. But is pyjswidgets the right place for the enhancement module?
Also, do we really need a copy of Python source code? Can't this be imported a compilation time?
Pyjs has two different implementations for logging:
loggingin pyjs/lib/,a copy of Python's
loggingmodule implementationloggingin pyjswidgets/pyjamas/,an enhancement module for Python's
loggingmodule suggested to be used in PyjsWe obviously can't consolidate them, because one is the Python library implementation, and only the other is Pyjs source code that extends the latter. But is
pyjswidgetsthe right place for the enhancement module?Also, do we really need a copy of Python source code? Can't this be imported a compilation time?