rem: if (aPlatform == PLATFORM_LINUX) 
add: if (gPlatform == PLATFORM_LINUX) 
context: function getPlatformName(){    aPlatform = gPlatform;  if (aPlatform == PLATFORM_WINDOWS)    return "Windows";  if (aPlatform == PLATFORM_LINUX)    return "Linux";  if (aPlatform == PLATFORM_MACOSX)    return "MacOSX";  return "Unknown";}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/5d34b5019269a57bb2236f44f97387432af2b2a3/install.js/buggy/webtools/addons/public/htdocs/js/install.js