No, I remember deliberately taking it out, because GWT likes to keep other things there that can't be copied or generated. I have a feeling that src/WEB-INF/web.xml is not actually being used at all, but I'd have to think about it.
-- You received this bug notification because you are a member of MUGLE Developers, which is subscribed to MUGLE. https://bugs.launchpad.net/bugs/730027 Title: Shouldn't have src/WEB-INF/web.xml and war/WEB-INF/web.xml Status in Melbourne University Game-based Learning Environment: Triaged Bug description: For some reason, we have both of these (I added both). I think one is for GAE and one is for GWT but we certainly shouldn't have both. Cleanup. -- Mailing list: https://launchpad.net/~mugle-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~mugle-dev More help : https://help.launchpad.net/ListHelp
