home *** CD-ROM | disk | FTP | other *** search
Wrap
/** * Java Web Server 2 wizard configuration */ ( { class="Text"; title="Java Web Server setup"; type="HTML"; body = ("This wizard will guide you through the steps required to profile a servlet with OptimizeIt and Java Web Server.<p>", "<p>Press the \"Next\" button to continue.<p><p>", "Note: you will find a <a HREF=\"/Tutorial/ProfilingJavaWebServerIndex.html\">tutorial</a> explaining how to profile with Java Web Server in OptimizeIt's tutorial directory. This wizard performs automatically the steps described in the tutorial." ); }, { title="Select Java Web Server directory"; class="DirectorySelection"; helper="intuitive.optit.wizard.helper.JWServerDirectorySelection"; text="Select the Java Web Server directory you want to use with OptimizeIt.\nPress the \"Next\" button when done."; }, { title="Select vm directory"; class="DirectorySelection"; helper="intuitive.optit.wizard.helper.JWServerVMDirectorySelection"; text="Select the vm directory you want to use with OptimizeIt.\nPress the \"Next\" button when done."; }, { title="Configure Java Web Server"; class="Summary"; helper="intuitive.optit.wizard.helper.JWServerSummary"; text="Please review the changes below and click on the \"Configure\" button when done."; defaultButtonLabel="Configure"; }, { title="Configuring Java Web Server"; class="PerformAction"; helper="intuitive.optit.wizard.helper.JWServerConfiguration"; final="true"; // Means that we cannot go back }, { title="Start now"; class="RadioList"; buttonTitles=("","Yes","No"); topText="Would you like to start Java Web Server server for profiling with OptimizeIt now?"; bottomText="Make your choice then click next."; helper="intuitive.optit.wizard.helper.JWServerStartNow"; alt1ButtonVisible="false"; alt2ButtonVisible="false"; }, { title="Starting Profiler"; class="Text"; type="HTML"; helper="intuitive.optit.wizard.helper.JWServerFinished"; alt1ButtonVisible="false"; // Value can be false, or maybe. Default is maybe alt2ButtonVisible="false"; } )