Long last = m.getLastretrieved();
// It is fetched. Refresh it.
resp.getWriter().print("Refreshing...");
resp.getWriter().flush();
m.refresh();
if (m.getLastretrieved() == last) {
resp.getWriter().println(
"Not enough time passed since last retrieval. Current limit is " + MarketXML.time_threshold_minutes
+ " minutes");