chr
2026-04-05 fe750b791d5b517cc4e9bc8e99a9a75139a0cfba
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
using System;
using System.IO;
using System.IO.Pipes;
using System.Text;
 
namespace OpenTap
{
    static class PipeReader
    {
        static int ReadInt(this PipeStream stream)
        {
            var buffer = new byte[4];
            for(int read = 0; read < 4;)
            {
                var r = stream.Read(buffer, read, 4 - read);
                if (r == 0) return -1; // premature end of stream.
                read += r;
            }
            return BitConverter.ToInt32(buffer,0);
        }
        private static readonly TapSerializer writer = new TapSerializer();
        private static readonly TapSerializer reader = new TapSerializer();
 
        public static T ReadMessage<T>(this PipeStream stream)
        {
            stream.TryReadMessage<T>(out var r);
            return r;
        }
        public static bool TryReadMessage<T>(this PipeStream stream, out T r)
        {
            r = default;
            lock (reader)
            {
                var len = stream.ReadInt();
                if (len == -1) return false;
                using (var rd = new BinaryReader(stream, Encoding.Default, true))
                {
                    MemoryStream ms = new MemoryStream(rd.ReadBytes(len));
                    r = (T) reader.Deserialize(ms, true, TypeData.FromType(typeof(T)));
                    return true;
                }
            }
        }
 
        public static void WriteMessage(this PipeStream pipe, object obj)
        {
            lock (writer)
            {
                using (var wd = new BinaryWriter(pipe, Encoding.Default, true))
                {
                    var memstr = new MemoryStream();
                    writer.Serialize(memstr, obj);
                    wd.Write((int) memstr.Length);
                    wd.Write(memstr.GetBuffer(), 0, (int) memstr.Length);
                    wd.Flush();
                }
            }
        }
    }
}