2 commits

Author	SHA1	Message	Date
Tobie Morgan Hitchcock	36e7d8ed3a	Flush websocket notifications correctly ... Websocket notifications were cleared/flushed regardless of whether individual statements were successful or not. Now notifications are shifted onto the stack, or removed if the statement is unsuccessful. Once the full query has been processed, all pending notifications are flushed to all websockets (ignoring the current connection frin which th query originated).	2018-01-31 09:15:29 +00:00
Tobie Morgan Hitchcock	43d841dacc	Full update of the DB package	2017-11-16 20:53:39 +00:00