GM脚本的动态部署问题

大家应该都玩过greasemonkey吧？我试着写一个ant脚本把复制到gm路径里，但是显然在浏览器端刷新的时候并gm并没有更新相关脚本信息。难道只在内存中？重启浏览器才有效？无奈，求助各位大侠。

但是如果更新的是同名js，并且首选项不变的话，config.xml根本不用做改动啊。因为config.xml只记录这些东西.

确实是可以。
是我犯错了，在properties文件中习惯性地给gm脚本路径加了个";"号....
啊,鄙视自己一千遍.