Re: [racket-users] Best way to ensure threads finish in GUI application?

Yep that's a typo. I've pushed a fix; thanks for reporting! https://github.com/racket/racket/commit/591d57b5bc11784b4d34860b26840ffe874bfb91 On Wed, Feb 22, 2017 at 10:36 PM, Vladimir Gajic wrote: > Is "(make-plumber) → pluber?" a typo in 14.11 Plumbers documentation?

Re: [racket-users] Best way to ensure threads finish in GUI application?

Is "(make-plumber) → pluber?" a typo in 14.11 Plumbers documentation? See https://docs.racket-lang.org/reference/plumbers.html?q=plumbers#%28def._%28%28quote._~23~25kernel%29._make-plumber%29%29 --Vlad On Tuesday, January 31, 2017 at 8:33:11 AM UTC-5, Matthew Flatt wrote: > I think you

Re: [racket-users] Best way to ensure threads finish in GUI application?

Is this a typo in the documentation: (make-plumber) → pluber? --Vlad On Tuesday, January 31, 2017 at 8:33:11 AM UTC-5, Matthew Flatt wrote: > I think you probably want `plumber-add-flush-handle!`: > > http://docs.racket-lang.org/reference/plumbers.html > > At Tue, 31 Jan 2017 13:23:03 +,

Capturing Unix signals (was Re: [racket-users] Best way to ensure threads finish in GUI application?)

Hi Erich, On 01/31/2017 08:23 AM, Erich Rast wrote: > Related to that, does application-quit-handler capture signals on > Linux, and if so, which ones, and/or is there a way to install signal > handlers in Racket? There's a package, https://pkgn.racket-lang.org/package/unix-signals, that

Re: [racket-users] Best way to ensure threads finish in GUI application?

Fantastic! I didn't know about "plumbers" at all. Thanks a lot! Best, Erich On Tue, 31 Jan 2017 06:33:03 -0700 Matthew Flatt wrote: > I think you probably want `plumber-add-flush-handle!`: > > http://docs.racket-lang.org/reference/plumbers.html > > At Tue, 31 Jan 2017

Re: [racket-users] Best way to ensure threads finish in GUI application?

I think you probably want `plumber-add-flush-handle!`: http://docs.racket-lang.org/reference/plumbers.html At Tue, 31 Jan 2017 13:23:03 +, Erich Rast wrote: > Hi, > > I was wondering what's the best way to ensure that threads end > when a gui application is shut down, which

[racket-users] Best way to ensure threads finish in GUI application?

Hi, I was wondering what's the best way to ensure that threads end when a gui application is shut down, which synchronization mechanism I should use and which kind of program terminations would be handled gracefully by this. I'm planning on delaying certain sqlite transactions in threads, since