| 
									
										
										
										
											2017-01-30 12:30:08 -05:00
										 |  |  | USING: accessors command-line debugger io.encodings.utf8 | 
					
						
							|  |  |  | io.servers kernel listener math.parser namespaces sequences ;
 | 
					
						
							| 
									
										
										
										
											2011-08-19 18:03:45 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | IN: tty-server | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2011-08-19 18:03:45 -04:00
										 |  |  | : start-listener ( -- )
 | 
					
						
							|  |  |  |     [ [ drop print-error-and-restarts ] error-hook set listener ] with-scope ;
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | : <tty-server> ( port -- server )
 | 
					
						
							| 
									
										
										
										
											2009-05-30 20:15:53 -04:00
										 |  |  |     utf8 <threaded-server> | 
					
						
							| 
									
										
										
										
											2008-06-17 01:08:50 -04:00
										 |  |  |         "tty-server" >>name | 
					
						
							|  |  |  |         swap local-server >>insecure | 
					
						
							| 
									
										
										
										
											2011-08-19 18:03:45 -04:00
										 |  |  |         [ start-listener ] >>handler | 
					
						
							|  |  |  |         f >>timeout ;
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2011-08-19 18:03:45 -04:00
										 |  |  | : run-tty-server ( -- )
 | 
					
						
							| 
									
										
										
										
											2017-01-30 12:30:08 -05:00
										 |  |  |     command-line get [ 9999 ] [ first string>number ] if-empty
 | 
					
						
							|  |  |  |     <tty-server> start-server wait-for-server ;
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2011-08-19 18:03:45 -04:00
										 |  |  | MAIN: run-tty-server |