Closed geowurster closed 9 years ago
To prevent raising exceptions if .close() is called multiple times.
.close()
This shouldn't cause a problem. Will re-open if it does.
To prevent raising exceptions if
.close()
is called multiple times.