MonetDB: default - Plug some holes.

2018-10-17 Thread Sjoerd Mullender
Changeset: 13ad2af15cd3 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=13ad2af15cd3 Modified Files: sql/backends/monet5/sql.c Branch: default Log Message: Plug some holes. diffs (27 lines): diff --git a/sql/backends/monet5/sql.c b/sql/backends/monet5/sql.c --- a/

MonetDB: default - Plug some holes.

2017-01-03 Thread Sjoerd Mullender
Changeset: 6e9ac0c14afd for MonetDB URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=6e9ac0c14afd Modified Files: monetdb5/mal/mal_debugger.c tools/mserver/shutdowntest.c Branch: default Log Message: Plug some holes. diffs (46 lines): diff --git a/monetdb5/mal/mal_debug