Element: channel.eof

Type

numeric

Description

Whether channel is currently at end-of-file. This will have a value of 1 if:

1. A text file channel open for read-only is at end-of-file.

2. An external process or server channel has died.

3. A socket channel has had it’s connection severed.

It is an invalid member for other channels.

Notes

This element cannot be changed by the user.