> On 9 Aug 2017, at 16:15, Ignacio Baca Moreno-Torres <[email protected]> > wrote: > > You can use arbitrary arguments per-mode, so to add the codeserverPort to the > codeserver goal add: > <codeserverArgs><arg>-codeServerPort</arg><arg>1234</arg></codeserverArgs> > If you are using dev mode use: > <devmodeArgs><arg>-codeServerPort</arg><arg>1234</arg></devmodeArgs>.
I totally missed that section in the manual, thanks! -- Luca Morettoni <luca(AT)morettoni.net> | http://www.morettoni.net http://it.linkedin.com/in/morettoni/ | http://twitter.com/morettoni -- You received this message because you are subscribed to the Google Groups "GWT Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/google-web-toolkit. For more options, visit https://groups.google.com/d/optout.
