Martin Malina created JBIDE-17211: ------------------------------------- Summary: Inform users which deployment scanner's interval they're setting Key: JBIDE-17211 URL: https://issues.jboss.org/browse/JBIDE-17211 Project: Tools (JBoss Tools) Issue Type: Feature Request Components: server Affects Versions: 4.2.0.Beta1 Reporter: Martin Malina You asked for a new JIRA in JBIDE-15287 so here you go :) It is possible to change the interval for the custom deployment scanners that the tools add. But the UI doesn't state this, so it seems that in fact we alter the interval even for the default deployment scanner which we don't. -- This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators For more information on JIRA, see: http://www.atlassian.com/software/jira