Как заставить MyEclipse оперативно развернуть файл JavaScript в моем экземпляре JBoss?

Question

У меня проблемы с горячим развертыванием файлов MyEclipse 7.1.1 на моем сервере JBoss 4.

Проблема заключается в следующем: во время работы моего сервера я могу вносить изменения в различные файлы JAVA и HTML, которые затем немедленно развертываются в горячем режиме (я вижу изменения, отображаемые в моем браузере при обновлении страницы). Однако, работая над определенным файлом JavaScript, мои изменения не развертываются в горячем режиме. Это очень затрудняет работу и отладку этого файла, поскольку мне приходится останавливать свой сервер, повторно развертывать и запускать его снова каждый раз, когда я вносю изменения. Это новая проблема - с этим файлом такого не случалось, поэтому я думаю, что что-то напортачило в моей конфигурации MyEclipse.

Я проверил, что все мои проекты (экземпляры JBoss 4) настроены в режиме "в разобранном виде" для горячего развертывания.

Я также на 99% уверен, что это не проблема с моим браузером, так как я всегда обновляюсь с помощью CTRL + F5, и я пробовал несколько вещей, таких как очистка кэша браузера, чтобы получить развернутую версию файла.

Я также пытался выполнить «очистку» проекта во время работы сервера, но это также не привело к развертыванию.

Любое решение будет полезным. Мне бы хотелось, чтобы MyEclipse автоматически развернул файл, но я также открыт для принудительного ручного развертывания этого конкретного файла во время работы над ним.

Спасибо.

Answer 1

Это оказалось проблемой как для IE, так и для стратегии кэширования приложений.

Исправлено следующим:

1. Установка переменной среды сжатия GZIP в положение OFF.Таким образом, сжатые GZIP файлы JS не кэшируются в течение двух недель.
2. Настройка IE8 на «проверку новых версий сохраненных страниц при каждом посещении веб-страницы» и использование CTRL + F5 для обновления (как и раньше).

Answer 2

   var dwScriptFileUrl = location.protocol + '//' + location.host + '/' + appName + '/extend.js?' + Math.random();
   var dwDOM = document.all('myiframe0').contentWindow.document;
var dwScript = dwDOM.createElement("script");
dwScript.type = "text/javascript";
dwScript.src = dwScriptFileUrl;
dwDOM.body.appendChild(dwScript);