java - Eclipse JVM on workspace switch -


does know how specify jvm eclipse launch when switches workspace? if start eclipse eclipse.ini containing:

-vm library/java/javavirtualmachines/jdk1.7.0_17.jdk/contents/home/bin/java

eclipse launches jre. console output confirms this:

5/14/13 4:01:16.932 pm [0x0-0x51b51b].org.eclipse.eclipse: eclipse.buildid=m20130204-1200 5/14/13 4:01:16.932 pm [0x0-0x51b51b].org.eclipse.eclipse: java.version=1.7.0_17 5/14/13 4:01:16.932 pm [0x0-0x51b51b].org.eclipse.eclipse: java.vendor=oracle corporation

when switch workspace though reason launches 1.6 jvm.

5/14/13 4:07:51.596 pm [0x0-0x51b51b].org.eclipse.eclipse: eclipse.buildid=m20130204-1200 5/14/13 4:07:51.597 pm [0x0-0x51b51b].org.eclipse.eclipse: java.version=1.6.0_45 5/14/13 4:07:51.597 pm [0x0-0x51b51b].org.eclipse.eclipse: java.vendor=apple inc.

this problem our plugins require 1.7 consquently fail load. on osx 10.7.5 happens on 10.8.

java_home points 1.7 jvm , /usr/bin/java symlinked 1.7 jvm. /usr/bin appears near head of path , in fact java on path. i'm guessing eclipse must assume "best" jvm 1 in /system/library/frameworks/javavm.framework/versions/current or /system/library/frameworks/javavm.framework/versions/currentjdk , points 1.6.

this bug in eclipse, see https://bugs.eclipse.org/bugs/show_bug.cgi?id=396552

i'm not aware of work-arounds this, try setting java_jvm_version environment variable.

the bug report indicates problem has been fixed, try more recent milestone, or can try grabbing binaries attached bug.


Comments

Post a Comment

Popular posts from this blog

Change php variable from jquery value using ajax (same page) -

what i'm trying this: i've php global variable $currentid , simple jquery script check if there "id" (page) in hash of url , if yes wanted give value $currentid . i've been reading lot , notice shall use ajax i'm not managing it. my code is: <script type="text/javascript"> $(document).ready(function(){ if (parent.location.hash != '' ) { var thecurrentid = parent.location.hash.split('#')[1]; $.ajax({ url: 'my.php', //current page type: 'post', data: {theid: thecurrentid }, datatype: 'json', success: function () { } }); } // code here }); </script> could me please? thank in advance. php server side language, meaning once has sent data browser, php variables , data cannot changed... however, using ajax, can send request php page , change data in dom based on result. consider th...
Read more

How can I fetch data from a web server in an android application? -

i want retrieve data web server in android application, , don't know begin. should use web services? i recommend these tutorials: connect android php , mysql , json in android , php , mysqli i used these tutorials , managed trying working without difficulty. between them describe each step in how attempting @ each stage, android application, database , web server side , has information included can process , use received information the thing add connect android php , mysql tutorial makes use of mysql_ in php deprecated. better use mysqli why included third link. the basic outline of want this: 1) in android app make request server php script using class this: import java.io.bufferedreader; import java.io.ioexception; import java.io.inputstream; import java.io.inputstreamreader; import java.io.unsupportedencodingexception; import java.util.list; import org.apache.http.httpentity; import org.apache.http.httpresponse; import org.apache.http.namevaluepair...
Read more

jquery - How can I dynamically add a browser tab? -

since using iframes house external pages are, accounts "not preferred method" , disallowed sites (flickr, one), want dynamically generate browser tabs. e.g., when user submits form, want dynamically generate tab on browser in response submitted. e.g., might want add new tab url like: http://www.bigsurgarrapata.com/contact how in jquery? you want form target attribute action attribute. http://www.w3schools.com/tags/att_form_target.asp browsers have ultimate control on result of target attribute open new tab value of _blank. <form action="contact_submit.php" target="_blank" method="post">
Read more