[jbosstools-issues] [JBoss JIRA] (JBDS-2386) jbdevstudio.ini file contains duplicate jboss.discovery.directory.url entries

[Mickael Istria (JIRA)]

    [ https://issues.jboss.org/browse/JBDS-2386?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12736263#comment-12736263 ] 

Mickael Istria commented on JBDS-2386:
--------------------------------------

> JBDS2386-JBDS2389.remove.unneeded.p2.inf.stuff
This seems fine to me since all those parameters are already set in .product so they'll be part of the .ini file.
+1 for 6.0
                
> jbdevstudio.ini file contains duplicate jboss.discovery.directory.url entries
> -----------------------------------------------------------------------------
>
>                 Key: JBDS-2386
>                 URL: https://issues.jboss.org/browse/JBDS-2386
>             Project: Developer Studio (JBoss Developer Studio)
>          Issue Type: Bug
>      Security Level: Public(Everyone can see) 
>          Components: Program
>    Affects Versions: 6.0.0.CR1
>         Environment: Version: 6.0.0.CR1
> Build id: CR1-v20121118-2035-B111
> Build date: 20121118-2035
>            Reporter: Len DiMaggio
>            Assignee: Nick Boldt
>            Priority: Blocker
>              Labels: respin-a
>             Fix For: 4.0.0.CR1, 6.0.0.CR1
>
>         Attachments: JBDS2386-JBDS2389.remove.unneeded.p2.inf.stuff, JBDS2386-remove-dupe-entry.patch1.txt, JBDS2386-remove-dupe-entry.patch2.txt
>
>
> The file in CR1 contains:
> cat  studio/jbdevstudio.ini 
> -vm
> /usr/lib/jvm/java-1.6.0-openjdk-1.6.0.0.x86_64/jre/bin/java
> -product
> com.jboss.jbds.product.product
> -startup
> plugins/org.eclipse.equinox.launcher_1.3.0.v20120522-1813.jar
> --launcher.library
> plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.200.v20120522-1813
> -product
> com.jboss.jbds.product.product
> -showsplash
> platform\:/base/plugins/com.jboss.jbds.product
> --launcher.XXMaxPermSize
> 256m
> --launcher.defaultAction
> openFile
> -vmargs
> -Dosgi.splashPath=platform:/base/plugins/com.jboss.jbds.product
> -Djboss.discovery.directory.url=https://devstudio.jboss.com/updates/6.0-staging/devstudio-directory.xml
> -Xms512m
> -Xmx1024m
> -Djboss.discovery.directory.url=https://devstudio.jboss.com/updates/6.0-staging/devstudio-directory.xml
> -Dosgi.instance.area.default=@user.home/workspace

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira