mininet/mininet — pull request #344 by bentenshan (2014-08-02 12:18:41+00:00)
Title: fix Singleton.__call__ error

fix Singleton.__call__ error