Example: web.cache_cleanup

web.url("index.html",
    "URL=http://my_web_server/index.html",
    new String[]{
         "Resource=0",
         "Referer=",
         "Mode=HTTP",
         "LAST"
     });
web.url("survey.gif",
     "URL=http://my_web_server/gifs/survey.gif",
     new String[]{
         "Resource=1",
         "Referer=http://my_web_server/index.html",
         "LAST"
     });
web.url("top_blue.gif",
     "URL=http://my_web_server/gifs/top_blue.gif",
     new String[]{
         "Resource=1",
         "Referer=http://my_web_server/index.html",
         "LAST"
     });
// Reload home page
web.url("index.html",
     "URL=http://my_web_server/index.html",
     new String[]{
         "Resource=0",
         "Referer=",
         "Mode=HTTP",
         "LAST"
     });
web.url("top_blue.gif",
     "URL=http://my_web_server/gifs/top_blue.gif",
     new String[]{
         "Resource=1",
         "Referer=http://my_web_server/index.html",
         "LAST"
     });
// Clear the cache after reloading a page and its resources.
web.cache_cleanup();