So what do you suggest in the case of copying a war file that takes 15 seconds to copy?
That's a good question. I have a couple of thoughts:
1) When does the date of the inode get set -- at the beginning of the copy or at the end
2) Isn't there a way to set the time interval used to check for updates?
3) If you're hot-deploying WAR files, shouldn't you be using the Tomcat deployment tool instead of just copying it in there? ;)
(I don't know anything about Tomcat's WAR deployment -- I use ant to war and unwar my apps to do hot deployment.)
-chris
signature.asc
Description: OpenPGP digital signature
