Re: [dev-serveez] exception handler for gh_call*() functions

[Martin Grabmueller]

> From: stefan <address@hidden>
> Date: Thu, 20 Sep 2001 18:02:45 +0200 (CEST)
> 
> on different points of executing a guile server we use gh_call*()
> functions in order to run appropiate callbacks defined in guile. If
> these do not use (catch ...) it might occur that Serveez stops
> execution with a Guile exception. Should we and can we prevent this
> behaviour ?

I'm not sure that we should unconditionally supress errors on the
Guile level, at least an error message should be printed.  If we
decide to catch the errors, we'll have to use gh_catch().

'martin