<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sat, Aug 31, 2013 at 7:27 PM, Ryan Culpepper <span dir="ltr"><<a href="mailto:ryanc@ccs.neu.edu" target="_blank">ryanc@ccs.neu.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">On 08/31/2013 12:19 PM, Laurent wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Is there a way to catch the errors (more like warnings actually) thrown<br>
by the db?<br>
`with-handlers' does not do the trick since racket does not fail on<br>
them, and a little search on the mailing list did not return relevant info.<br>
<br>
The purpose is to use check-exn and check-not-exn on a generated db.<br>
</blockquote>
<br></div></div>
I'm not sure exactly what you mean, but maybe you want to supply a #:notice-handler function when you create a connection.<br>
<br>
If that's not what you meant, can you provide a more concrete example of what your code does and what warning you want to detect?<br></blockquote><div><br></div>The error was completely different from what I thought at first (an exception was raised in the server thread that I could not catch, I thought it was because of the db, but it was just that I needed to forward the error from one thread to the other). Sorry for the noise, though your answer was helpful anyway.<br>
<br></div><div class="gmail_quote">Thanks,<br></div><div class="gmail_quote">Laurent<br></div></div></div>