From c1b977b90178f61cbedc55b888a5e8cc3fe6b3f0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 5 Oct 2015 10:37:23 +0100
Subject: [PATCH] make sure we release streams lock!!

---
 os/streams.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/os/streams.c b/os/streams.c
index 3748ec2d5..47c338267 100644
--- a/os/streams.c
+++ b/os/streams.c
@@ -616,8 +616,10 @@ static Int cont_stream_property(USES_REGS1) { /* current_stream */
   } else {
     while (GLOBAL_Stream[i].status & Free_Stream_f) {
       ++i;
-      if (i == MaxStreams)
-        cut_fail();
+      if (i == MaxStreams) {
+	UNLOCK(GLOBAL_StreamDescLock);
+       cut_fail();
+      }
     }
     LOCK(GLOBAL_Stream[i].streamlock);
     UNLOCK(GLOBAL_StreamDescLock);