MonetDB: default - Merge with Jun2016 branch.

[Sjoerd Mullender]

Changeset: 18de7c6d1eb4 for MonetDB
URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=18de7c6d1eb4
Modified Files:
        common/stream/stream.c
Branch: default
Log Message:

Merge with Jun2016 branch.


diffs (16 lines):

diff --git a/common/stream/stream.c b/common/stream/stream.c
--- a/common/stream/stream.c
+++ b/common/stream/stream.c
@@ -598,8 +598,10 @@ void
 close_stream(stream *s)
 {
        if (s) {
-               s->close(s);
-               s->destroy(s);
+               if (s->close)
+                       s->close(s);
+               if (s->destroy)
+                       s->destroy(s);
        }
 }
 
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list