dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

On Mon, May 16, 2011 at 12:59:49PM -0000, Martin Sandve Alnæs wrote:
> 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

Hmm... I can't find where this is imported. site-packages/dolfin/common/time.py
defines __all__ which does not include time.

--
Anders

-- 
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?