« Previous | Next » 

Revision 09fb7969

ID09fb7969b4cf31f669ca624f3738c80c1c5ef6c8
Parent 0c039a6b
Child 09db3524

Added by Hans-Christoph Steiner over 3 years ago

do not include URL in index.xml because it will get out of date

As far as I can tell, the 'url' metadata in index.xml is not used at all by
the client. In order to keep it up-to-date in the local repo, it would
have to regenerate index.xml and index.jar each time the IP address
changed. That would mean a decent amount of work happening in the
background, all the update an unused field in index.xml.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences