Refresh webpage?

Ok, basically I have a flash application that is reading an xml file across a server.

The xml file changes when the user edits something in the flash application.

What is the best way to refresh the page to respond to the changes made to the file.

Should I refresh the page, by calling the same url again?

Should I use a javascript option.
http://board.flashkit.com/board/showthread.php?t=703262

Or is there like a

isFileChanged()

event listener I can use. Any professional advice would be great?