Processed: your mail

Wed Oct 5 15:54:07 UTC 2011

Processing commands for control at bugs.debian.org:

> clone 644340 -1
Bug#644340: tomcat7: action "start" failed: no JDK found - please set JAVA_HOME
Bug 644340 cloned as bug 644414.

> reassign -1 644340
Bug #644414 [tomcat7] tomcat7: action "start" failed: no JDK found - please set JAVA_HOME
Bug reassigned from package 'tomcat7' to '644340'.
Warning: Unknown package '644340'
Warning: Unknown package '644340'
Bug No longer marked as found in versions tomcat7/7.0.21-1.
Warning: Unknown package '644340'
Warning: Unknown package '644340'
Warning: Unknown package '644340'
> retitle -1 tomcat6: action "start" failed: no JDK found - please set JAVA_HOME
Bug #644414 [644340] tomcat7: action "start" failed: no JDK found - please set JAVA_HOME
Warning: Unknown package '644340'
Changed Bug title to 'tomcat6: action "start" failed: no JDK found - please set JAVA_HOME' from 'tomcat7: action "start" failed: no JDK found - please set JAVA_HOME'
Warning: Unknown package '644340'
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
644414: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=644414
644340: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=644340
-1: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=-1
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems