@echo off
if not exist "%JAVA_HOME%" goto no_javahome
if not exist ../plugins/portal/resources/Pdk/lib/PDK.jar GOTO LOCAL_DEPLOYMENT_NOT_FOUND
set classpath=.;%JAVA_HOME%/JRE/lib/rt.jar;../plugins/portal/resources/Pdk/lib/PDK.jar
"%JAVA_HOME%\bin\java.exe" -classpath %classpath% com.sapportals.portal.prt.admin.util.ManifestScan ../../ %1 %2 %3 %4
GOTO END

:LOCAL_DEPLOYMENT_NOT_FOUND
echo sorry, the local deployment of PDK.par cannot be found
GOTO END

:no_javahome
echo Environment variable JAVA_HOME is not set

:END