[ jEdit-users ] Way to have "Log" plugin automatically update if server restarts?

[Rick R. <ric...@gm...>]

When using the log plugin to tail a tomcat server log, I need to close the=
=20
file and reopen it every time I restart the server. Is there a way that the=
=20
log file can automatically refresh itself when the server restarts? I would=
=20
think there should be a way it would see the file contents change and thus=
=20
want to automatically update or prompt you that the file has changed. This=
=20
would be a real help.

--=20
Rick