run() calls set_otions() again at the end to restore old values.
authorMike Taylor <mike@indexdata.com>
Wed, 25 Oct 2006 13:36:02 +0000 (13:36 +0000)
committerMike Taylor <mike@indexdata.com>
Wed, 25 Oct 2006 13:36:02 +0000 (13:36 +0000)

No differences found