diff: use tab to separate date from filename -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 diff: use tab to separate date from filename manifest hash: 73812de990e0e787320c11f7bd83c4ca91a52c4c -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.0 (GNU/Linux) iD8DBQFCpdDxywK+sNU5EO8RAhKwAKCFcUa/p6ALbjoOl4I8VKJknZtu7gCdFvoE HQn1iq4gnJoeurB7YLMRpqc= =ltYP -----END PGP SIGNATURE-----

     1

def demandload(scope, modules):

     2

    class d:

     3

        def __getattr__(self, name):

     4

            mod = self.__dict__["mod"]

     5

            scope = self.__dict__["scope"]

     6

            scope[mod] = __import__(mod, scope, scope, [])

     7

            return getattr(scope[mod], name)

     8

     9

    for m in modules.split():

    10

        dl = d()

    11

        dl.mod = m

    12

        dl.scope = scope

    13

        scope[m] = dl

    14

    15