On Thu, Oct 25, 2012 at 1:58 PM, Robin Taylor <robin.taylor@...> wrote:
> In ~dspace/.profile...
Thanks for pointing that out!
> It may be that as Tomcat is effectively started by running
> /etc/init.d/tomcat under the covers it is not running .profile and
> therefore not picking up the OpenJDK version of Java. If we want to be
> sure then stop Tomcat and then restart it by running '/etc/init.d/tomcat
> start', and it will display the version. But you would need the dspace
> password to do it and I don't know it. I should confess, I just tried so
> apologies if anyone experienced an interruption.
Well, yes, I'm using "sudo service tomcat start", which is the same
thing - and dspace user does have sudo rights.
But the problem must be more subtle, because the init script already
BTW the last changed date on ~/.profile is Oct 10.