throw "Internal error (no progress possible) ReadInternal" (Mono) about websocketlistener HOT 19 CLOSED

 at System.IO.Compression.DeflateStreamNative.CheckResult (Int32 result, System.String where) [0x000b1] in <filename unknown>:0 
  at System.IO.Compression.DeflateStreamNative.ReadZStream (IntPtr buffer, Int32 length) [0x0000e] in <filename unknown>:0 
  at System.IO.Compression.DeflateStream.ReadInternal (System.Byte[] array, Int32 offset, Int32 count) [0x0002f] in <filename unknown>:0 
  at System.IO.Compression.DeflateStream.Read (System.Byte[] dest, Int32 dest_offset, Int32 count) [0x00086] in <filename unknown>:0 
  at vtortola.WebSockets.Deflate.WebSocketDeflateReadStream.Read (System.Byte[] buffer, Int32 offset, Int32 count) [0x00000] in <filename unknown>:0 
  at System.IO.StreamReader.ReadBuffer () [0x0002b] in <filename unknown>:0 
  at System.IO.StreamReader.ReadToEnd () [0x00055] in <filename unknown>:0 
  at vtortola.WebSockets.WebSocketStringExtensions+<ReadStringAsync>d__0.MoveNext () [0x000b3] in <filename unknown>:0 
--- End of stack trace from previous location where exception was thrown ---
  at System.Runtime.ExceptionServices.ExceptionDispatchInfo.Throw () [0x0000c] in <filename unknown>:0 
  at System.Runtime.CompilerServices.TaskAwaiter.ThrowForNonSuccess (System.Threading.Tasks.Task task) [0x0004e] in <filename unknown>:0 
  at System.Runtime.CompilerServices.TaskAwaiter.HandleNonSuccessAndDebuggerNotification (System.Threading.Tasks.Task task) [0x0002e] in <filename unknown>:0 
  at System.Runtime.CompilerServices.TaskAwaiter.ValidateEnd (System.Threading.Tasks.Task task) [0x0000b] in <filename unknown>:0 
  at System.Runtime.CompilerServices.ConfiguredTaskAwaitable`1+ConfiguredTaskAwaiter[TResult].GetResult () [0x00000] in <filename unknown>:0 

using System;
using System.IO;
using System.IO.Compression;
using System.Text;

namespace compression
{
    class MainClass
    {
        public static void Main (string[] args)
        {
            var inputString = "“ ... ” test how it works compression";
            byte[] compressed;
            string output;


            using (var outStream = new MemoryStream())
            {
                using (var tinyStream = new GZipStream(outStream, CompressionMode.Compress))
                using (var mStream = new MemoryStream(Encoding.UTF8.GetBytes(inputString)))
                    mStream.CopyTo(tinyStream);

                compressed = outStream.ToArray();
            }

            // “compressed” now contains the compressed string.
            // Also, all the streams are closed and the above is a self-contained operation.

            using (var inStream = new MemoryStream(compressed))
            using (var bigStream = new GZipStream(inStream, CompressionMode.Decompress))
            using (var bigStreamOut = new MemoryStream())
            {
                bigStream.CopyTo(bigStreamOut);
                output = Encoding.UTF8.GetString(bigStreamOut.ToArray());
            }

            // “output” now contains the uncompressed string.
            Console.WriteLine(output);


            using (MemoryStream compressedDataStream = new MemoryStream(new byte[] {}))
            {
                using (GZipStream zip = new GZipStream(compressedDataStream, CompressionMode.Decompress)){
                    byte[] buffer = new byte[8192];
                    int test = zip.Read(buffer, 0, buffer.Length); 
                }
            }

            Console.WriteLine("Test for empty data also works.");
        }

    }

}