Re: [JPP-Devel] Extension Manager

2007-07-17 Thread Sunburned Surveyor
Pedro, Can you open the zip file manually? Maybe it isn't a problem with the path, but with the zip file itself. I'm not familiar with the extension manager code, so this is just a shot in the dark. The Sunburned Surveyor On 7/14/07, Pedro Doria Meunier <[EMAIL PROTECTED]> wrote: > -BEGIN P

Re: [JPP-Devel] Extension Manager - addendum

2007-07-15 Thread Stefan Steiniger
Pedro Doria Meunier schrieb: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > Hi Guys > > Found what went wrong... > The method put the file 'ext\gt2jump.cts-0.1a.zip' in the lib/ folder. > So this is clearly a path problem. sorry for not beeing in .. is that the "trailing space" problem ad

[JPP-Devel] Extension Manager - addendum

2007-07-14 Thread Pedro Doria Meunier
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hi Guys Found what went wrong... The method put the file 'ext\gt2jump.cts-0.1a.zip' in the lib/ folder. So this is clearly a path problem. The method should check the envvar $JUMPHOME and then download the required plugin to $JUMPHOME/lib/ext where it

[JPP-Devel] Extension Manager

2007-07-14 Thread Pedro Doria Meunier
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hi Guys :) Excellent idea for having a method to download installable plugins! I've tried to use this with openjump-20070710-0017 for installing Edgar's CTS and this is what I got: java.util.zip.ZipException: error in opening zip file at java.uti