When I mean crawler I mean something that discovers new pages. Refreshing the same URL isn't really crawling.
But yes, it may be the best available solution in this case, even if I would argue that it isn't really it's main purpose.
But yes, it may be the best available solution in this case, even if I would argue that it isn't really it's main purpose.