rem: dump("prefClearDiskCache \n"); var cache = Components.classes['@mozilla.org/network/cache;1?name=manager'].getService(); var	cacheService = cache.QueryInterface( Components.interfaces.nsINetDataCacheManager); cacheService.clear( 12 ); 
add: var cache = Components.classes['@mozilla.org/network/cache;1?name=manager'].getService(); var cacheService = cache.QueryInterface( Components.interfaces.nsINetDataCacheManager); cacheService.clear( 12 ); 
context: function prefClearDiskCache(){	dump("prefClearDiskCache \n");	var cache = Components.classes['@mozilla.org/network/cache;1?name=manager'].getService();  var	cacheService = cache.QueryInterface( Components.interfaces.nsINetDataCacheManager);	cacheService.clear( 12 );}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/24855c421723bfb8b5f38afd9fe7c1d1d248767e/pref-cache.js/clean/xpfe/components/prefwindow/resources/content/pref-cache.js