Re: commons-logging : unknown to *this* workspace

2009-01-08 Thread Stefan Bodewig
On 2009-01-08, Jeremias Maerki d...@jeremias-maerki.ch wrote:

 Hmm, I wonder why Gump thinks commons-logging and commons-io are
 unknown to *this* workspace. I can see those two just fine.

A change to commons-proper's Gump descriptor made it non-well-formed
so Gump dropped the whole of commons, including commons-logging.

Should be fixed by now.

Stefan

-
To unsubscribe, e-mail: general-unsubscr...@gump.apache.org
For additional commands, e-mail: general-h...@gump.apache.org



Re: commons-logging : unknown to *this* workspace

2009-01-08 Thread Jeremias Maerki
Thanks!

On 08.01.2009 12:51:51 Stefan Bodewig wrote:
 On 2009-01-08, Jeremias Maerki d...@jeremias-maerki.ch wrote:
 
  Hmm, I wonder why Gump thinks commons-logging and commons-io are
  unknown to *this* workspace. I can see those two just fine.
 
 A change to commons-proper's Gump descriptor made it non-well-formed
 so Gump dropped the whole of commons, including commons-logging.
 
 Should be fixed by now.
 
 Stefan
 



Jeremias Maerki


-
To unsubscribe, e-mail: general-unsubscr...@gump.apache.org
For additional commands, e-mail: general-h...@gump.apache.org



Updating jdtcore.jar

2009-01-08 Thread Bill Barker
We've had some build failures due to an outdated jdtcore eclipse jar (Tomcat 
in particular).  Since for all practical purposes, this is the only eclipse 
jar that projects depend / on, I only replaced this jar and only on vmgump 
(which AFAIK is the only one I have a login to).  I backed up the previous 
jar to jdtcore-3.1.jar in case anybody has strong objections.  While the 
directory is now mis-named, jdtcore.jar is now at 3.4.2.

I did it this way, since without access to helios and claris, I wanted a 
solution that didn't involve changing metadata.  Of course, the true 
gump-way trade; would be to make eclipse a built project ;). 




-
To unsubscribe, e-mail: general-unsubscr...@gump.apache.org
For additional commands, e-mail: general-h...@gump.apache.org