--- "sql-js": patch --- Allow multiple identical connections to be closed.