dolfin team mailing list archive

[Martin Sandve Alnæs <783463@xxxxxxxxxxxxxxxxxx>]

Public bug reported:

When doing
  from dolfin import *
the module dolfin.common.time is imported. There is a module called time in the standard library, and this can cause confusion.

A distilled version of the code I had problems with:
import time
from dolfin import *
print time.localtime()

Does dolfin.common.time need to be imported in the global namespace? Can
it be renamed?

** Affects: dolfin
     Importance: Undecided
         Status: New

-- 
You received this bug notification because you are a member of DOLFIN
Team, which is subscribed to DOLFIN.
https://bugs.launchpad.net/bugs/783463

Title:
  dolfin.common.time overrides standard library time

Status in DOLFIN:
  New

Bug description:
  When doing
    from dolfin import *
  the module dolfin.common.time is imported. There is a module called time in the standard library, and this can cause confusion.

  A distilled version of the code I had problems with:
  import time
  from dolfin import *
  print time.localtime()

  Does dolfin.common.time need to be imported in the global namespace?
  Can it be renamed?