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;
}
