mirror of
				https://github.com/zulip/zulip.git
				synced 2025-11-04 05:53:43 +00:00 
			
		
		
		
	zephyr_mirror: Add typing import.
This commit is contained in:
		@@ -31,15 +31,17 @@ import signal
 | 
				
			|||||||
 | 
					
 | 
				
			||||||
from .zephyr_mirror_backend import parse_args
 | 
					from .zephyr_mirror_backend import parse_args
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					(options, args) = parse_args()
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					sys.path[:0] = [os.path.join(options.root_path, 'api')]
 | 
				
			||||||
 | 
					from typing import Any
 | 
				
			||||||
 | 
					
 | 
				
			||||||
def die(signal, frame):
 | 
					def die(signal, frame):
 | 
				
			||||||
    # We actually want to exit, so run os._exit (so as not to be caught and restarted)
 | 
					    # We actually want to exit, so run os._exit (so as not to be caught and restarted)
 | 
				
			||||||
    os._exit(1)
 | 
					    os._exit(1)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
signal.signal(signal.SIGINT, die)
 | 
					signal.signal(signal.SIGINT, die)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
(options, args) = parse_args()
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
sys.path[:0] = [os.path.join(options.root_path, 'api')]
 | 
					 | 
				
			||||||
from zulip import RandomExponentialBackoff
 | 
					from zulip import RandomExponentialBackoff
 | 
				
			||||||
 | 
					
 | 
				
			||||||
args = [os.path.join(options.root_path, "user_root", "zephyr_mirror_backend.py")]
 | 
					args = [os.path.join(options.root_path, "user_root", "zephyr_mirror_backend.py")]
 | 
				
			||||||
 
 | 
				
			|||||||
		Reference in New Issue
	
	Block a user