mirror of
https://github.com/NationalSecurityAgency/ghidra.git
synced 2026-09-19 16:40:38 -09:00
GP-693: Additional improvements
This commit is contained in:
@@ -104,7 +104,6 @@ set ERROR=ERROR: JAVA_HOME is not set and no 'java' command could be found in yo
|
||||
goto reportError
|
||||
|
||||
:findJavaFromJavaHome
|
||||
set "JAVA_HOME=%JAVA_HOME:"=%"
|
||||
set "JAVA=%JAVA_HOME%\bin\java.exe"
|
||||
|
||||
if exist "%JAVA%" goto lab2
|
||||
|
||||
@@ -43,6 +43,6 @@ set "CONFIG=%SCRIPT_DIR%..\..\Common\server\server.conf"
|
||||
|
||||
:continue
|
||||
|
||||
set VMARGS=-DUserAdmin.invocation="%0"
|
||||
set VMARGS=-DUserAdmin.invocation=%~n0
|
||||
|
||||
call "%~dp0\..\support\launch.bat" fg svrAdmin "%MAXMEM%" "%VMARGS%" ghidra.server.ServerAdmin "%CONFIG%" %*
|
||||
|
||||
@@ -18,6 +18,6 @@ exit /B 1
|
||||
|
||||
:continue
|
||||
|
||||
set APP_VMARGS=-DGhidraJarBuilder.Name=%0
|
||||
set APP_VMARGS=-DGhidraJarBuilder.Name=%~n0
|
||||
|
||||
call "%~dp0launch.bat" %LAUNCH_MODE% Ghidra "" "%APP_VMARGS%" ghidra.util.GhidraJarBuilder -main ghidra.JarRun %*
|
||||
|
||||
Reference in New Issue
Block a user