HomeIsabelle/Phabricator

Handle KillException if a thread is killed while in Socket.select. This…

Description

Handle KillException if a thread is killed while in Socket.select. This previously led to a segfault.

Details

Provenance
dcjmAuthored on Jan 31 2024, 7:14 PM
Parents
rPOLYML606101351c0e: Reduce the size of a writable code area if we need to use a shadow area and
Branches
Unknown
Tags
Unknown
References
HEAD -> master