Change in ovirt-engine[master]: webadmin, userportal: No need for gwt-plugin.extraJvmArgs in ...

[vszocs at redhat.com]

Vojtech Szocs has submitted this change and it was merged.

Change subject: webadmin,userportal: No need for gwt-plugin.extraJvmArgs in gwt-extension
......................................................................


webadmin,userportal: No need for gwt-plugin.extraJvmArgs in gwt-extension

The "gwt-plugin.extraJvmArgs" property was recently moved to
frontend parent POM, i.e. frontend/webadmin/modules/pom.xml

Specific frontend modules don't need to override this property,
its value can be inherited from frontend parent POM.

In case of gwt-extension, this property isn't really necessary,
since there's no GWT compilation involved when building this
module.

Change-Id: If3bc42f84e78a487d7c1ad10b82d466ca197fb90
Signed-off-by: Vojtech Szocs <vszocs at redhat.com>
---
M frontend/webadmin/modules/gwt-extension/pom.xml
1 file changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Vojtech Szocs: Verified; Looks good to me, approved


--
To view, visit http://gerrit.ovirt.org/13173
To unsubscribe, visit http://gerrit.ovirt.org/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: If3bc42f84e78a487d7c1ad10b82d466ca197fb90
Gerrit-PatchSet: 3
Gerrit-Project: ovirt-engine
Gerrit-Branch: master
Gerrit-Owner: Vojtech Szocs <vszocs at redhat.com>
Gerrit-Reviewer: Asaf Shakarchi <asaf at redhat.com>
Gerrit-Reviewer: Daniel Erez <derez at redhat.com>
Gerrit-Reviewer: Einav Cohen <ecohen at redhat.com>
Gerrit-Reviewer: Vojtech Szocs <vszocs at redhat.com>