Searched refs:WshShell (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/usr/eclipseclp/
H A Decl_inst.js14 var WshShell = WScript.CreateObject ("WScript.Shell"); variable
18 var jre_version = WshShell.RegRead("HKEY_LOCAL_MACHINE\\SOFTWARE\\JavaSoft\\Java Runtime Environment\\CurrentVersion");
19 return WshShell.RegRead("HKEY_LOCAL_MACHINE\\SOFTWARE\\JavaSoft\\Java Runtime Environment\\" + jre_version + "\\JavaHome");
23 var jre_version = WshShell.RegRead("HKEY_LOCAL_MACHINE\\SOFTWARE\\JavaSoft\\Java Development Kit\\CurrentVersion");
24 jre_version = WshShell.RegRead("HKEY_LOCAL_MACHINE\\SOFTWARE\\JavaSoft\\Java Development Kit\\" + jre_version + "\\JavaHome");
38 WshShell.RegWrite("HKLM\\Software\\IC-Parc\\Eclipse\\" + ecl_version
45 WshShell.RegWrite("HKLM\\Software\\IC-Parc\\Eclipse\\" + ecl_version

Completed in 31 milliseconds