diff options
| author | Robin Jarry <robin@jarry.cc> | 2022-05-23 22:36:56 +0200 |
|---|---|---|
| committer | Robin Jarry <robin@jarry.cc> | 2022-05-23 22:38:47 +0200 |
| commit | 600913015d23a3d322ac10d6bbfde425e7f68606 (patch) | |
| tree | f590a6310563bad4b54862bb0f008f06a3a66369 /widgets | |
| parent | 1bac87e80414f8e787c54f7f4cd2a3920aa1a095 (diff) | |
| download | aerc-600913015d23a3d322ac10d6bbfde425e7f68606.zip | |
fix: "terminal: fix race when closing a terminal"
I applied the wrong version of this patch.
Link: https://lists.sr.ht/~rjarry/aerc-devel/patches/32482
Signed-off-by: Robin Jarry <robin@jarry.cc>
Diffstat (limited to 'widgets')
| -rw-r--r-- | widgets/terminal.go | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/widgets/terminal.go b/widgets/terminal.go index cd265f6..1d4c1df 100644 --- a/widgets/terminal.go +++ b/widgets/terminal.go @@ -203,9 +203,6 @@ func (term *Terminal) Close(err error) { } func (term *Terminal) Destroy() { - term.closeMutex.Lock() - defer term.closeMutex.Unlock() - if term.destroyed { return } |