[plt-dev] Re: language dialog, some minor changes & bugfixes

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Fri Jan 29 18:03:14 EST 2010

You are suggesting that planet and drscheme collaborate directly via
some parameter that planet exports that tells it to parse the line but
return a dummy info if the package is not installed? (and use various
security measures to forbid network access in addition)

I think that makes sense.


On Friday, January 29, 2010, Eli Barzilay <eli at barzilay.org> wrote:
> I'm not sure what you need more.  What I'm suggesting is something
> like this:
>   (with-handlers ([exn? (lambda (_) "???")])
>     (parameterize ([forbid-planet-activity ; throws an error if not installed
>                     #t])
>       (run-earlier-function)))
> So the only extension that is needed, if there's nothing now, is some
> parameter that tells planet to avoid any actual activity.  (This might
> be as simple as setting up a guardian that forbids any network
> activity.)
> On Jan 29, Robby Findler wrote:
>> But do I get the name in that case?
>> I think I need more support from you (the protocol) here.
>> Robby
>> On Fri, Jan 29, 2010 at 3:46 PM, Eli Barzilay <eli at barzilay.org> wrote:
>> > Yes, and that should be the right thing, I think.  Then maybe you
>> > could wrap it with some parameterize that will forbid planet activity,
>> > so you will show the string only if the package is already in -- ?
> --
>           ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
>                     http://barzilay.org/                   Maze is Life!

Posted on the dev mailing list.