OP2/PyOP2 — pull request #102 by kynan (2012-11-02 12:25:32+00:00)
Title: Allow calling op2.init more than once with the same backend

This will not raise an error any more but can be used to update the
configuration. Calling init again with a different backend will raise
an exception.