It doesn't look like will executor will do what you want, since it has to do with garbage collection rather than port closing.
This could be overkill, but it's possible to construct a custom port ( https://docs.racket-lang.org/reference/customport.html). Is it possible to construct a new port that wraps your target port inside, and specify the `close` argument to do whatever you want to do? On Tue, Jun 30, 2020 at 3:37 PM David Storrs <david.sto...@gmail.com> wrote: > I have a port that (my current theory says) is being closed when it > shouldn't, but I'm having trouble isolating exactly where and when. I > thought maybe I could do something Rackety to say "as soon as this port > gets closed, run this function". I went digging through Wills and Plumbers > but I'm having trouble grokking it. Am I headed in the right direction, or > is there a better way? > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/CAE8gKofeSmxqSs7RUL-PT0my-JcuW9atP2%2BDdj6o1o_hJVrsmw%40mail.gmail.com > <https://groups.google.com/d/msgid/racket-users/CAE8gKofeSmxqSs7RUL-PT0my-JcuW9atP2%2BDdj6o1o_hJVrsmw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CADcuegueQkjYUq1NTcyEUv-XMhdAYrbh4o0PVtxqs9BEWOgUoA%40mail.gmail.com.
