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 |