private uint glk_stream_close(uint[] args) { GlkStream stream; if (glkStreams.TryGetValue(args[0], out stream)) { uint read, written; bool closed = stream.Close(out read, out written); if (args[1] != 0) { GlkWriteReference( args[1], read, written); } if (closed) { glkStreams.Remove(args[0]); if (glkCurrentStream == stream) { glkCurrentStream = null; } } } return(0); }
private uint glk_stream_close(uint[] args) { GlkStream stream; if (glkStreams.TryGetValue(args[0], out stream)) { uint read, written; bool closed = stream.Close(out read, out written); if (args[1] != 0) { GlkWriteReference( args[1], read, written); } if (closed) { glkStreams.Remove(args[0]); if (glkCurrentStream == stream) glkCurrentStream = null; } } return 0; }