Home | Contact Us | FAQ | Search & Site Map | Link to Us
Sign In | Join | Other 45 Sites in Network
HomeAnnouncementsWhite Papers
Discussion GroupsFirst AidDatabasesJavaBeansGUIJava 3DVirtual MachineCORBASecurityToolsGeneral
Java DirectoryOpen Source ProjectsSample Book ChaptersUser GroupsWeb Resources
Related Topics
Databases.NETMore Topics ...

Java Forum / General / October 2007

Tip: Looking for answers? Try searching our database.

what jre is Tomcat using?

Thread view: 
badgerduke@gmail.com - 04 Oct 2007 02:14 GMT
Hello:

I have two JREs on my system, a Java 5 distribution and a Java 6
distribution.  How can I decipher which JRE my Tomcat service is
running on?  Is there a tomcat5.exe command I can use?  Or does the
setting reside in a configuration file within Tomcat?

The reason for this question is that I want to change the JRE my
Tomcat uses and I need a way to query Tomcat as to which JRE its
using.

Thanx.
Eric
Arne Vajhøj - 04 Oct 2007 02:26 GMT
> I have two JREs on my system, a Java 5 distribution and a Java 6
> distribution.  How can I decipher which JRE my Tomcat service is
[quoted text clipped - 4 lines]
> Tomcat uses and I need a way to query Tomcat as to which JRE its
> using.

It should be using the one which JAVA_HOME points to.

Arne
Chris - 04 Oct 2007 04:00 GMT
> Hello:
>
[quoted text clipped - 6 lines]
> Tomcat uses and I need a way to query Tomcat as to which JRE its
> using.

Call System.getProperty("java.version") from within a JSP page or a webapp.


Free Magazines

Get these publications absolutely FREE for up to 12 months. There are no hidden fees and no obligation. Simply choose a title, complete the application form and submit it. Read more ...

Oracle MagazineNetwork ComputingComputer WorldBio-IT WorldeWeekInformation WeekInfosecurity
 
Sign In
Join
My Latest Posts
My Monitored Threads
My Blog
My Photo Gallery
My Profile
My Homepage

Start New Thread
Enable EMail Alerts
Rate this Thread



©2009 Advenet LLC   Privacy Policy - Terms of Use
This website includes both content owned or controlled by Advenet as well as content owned or controlled by third parties.