All of the database functionality in the server is separated out, so it shoudl not be too hard to add a web-based interface to it (see db.ss in iplt/planet/).
Robby On Mon, May 18, 2009 at 12:41 PM, Jon Rafkind <rafk...@cs.utah.edu> wrote: > Matthias Felleisen wrote: >> >> On May 18, 2009, at 11:24 AM, Robby Findler wrote: >> >>> Just to be clear, I essentially agree with everything you've written. >>> We do need something better and tool support for it. A GUI that helps >>> the user's control the upgrades would be a great idea. (IF you were to >>> write one I'd be happy to take it!) >> >> >> I am still wondering whether drscheme could support a GUI that >> shows what's available at Planet and even compares the versions >> there and in your cache. Then a simple 'click' could warn you >> of potential problems before you install the latest version. >> > I started a little gui for this last week. Here is a functional demo: > http://planet.plt-scheme.org/display.ss?package=planet-manager.plt&owner=kazzmir > > Obviously needs a lot of work. One major problem is the planet database is > not query-able. Right now I'm doing html screenscraping by reading > http://planet.plt-scheme.org. > _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev