playX
|
cb4c67588c
|
os: add support for signal handling on JS backend (#12818)
|
2021-12-13 20:18:12 +02:00 |
Delyan Angelov
|
6890756cd2
|
os: cleanup of old deprecated functions. Add File.write_full_buffer/2; use it in os.write_file/2
|
2021-06-25 22:51:59 +03:00 |
Delyan Angelov
|
453fb1b08b
|
term.ui: use os.signal_opt instead of os.signal
|
2021-05-18 11:59:57 +03:00 |
Delyan Angelov
|
21b34b3a0b
|
ci: bump up the deprecation date of os.signal to 2021-06-18
|
2021-05-18 11:06:00 +03:00 |
Enzo
|
4ac751d773
|
os: add `signal_opt` and deprecate `signal` (#10005)
|
2021-05-05 15:39:02 +03:00 |