Merge lp:~mwhudson/ssh-import-id/lp-1770302 into lp:ssh-import-id

[Michael Hudson-Doyle]

exit with sys.exit() in fetch_keys_gh to ensure error messages get flushed

[Scott Moser (smoser)]

This seems sane... I'm looking to move to git, so i'd like to hold off on this rigth now, but the idea is good.

[Scott Moser (smoser)]

merged this in git.

=== modified file 'ssh_import_id/__init__.py'
--- ssh_import_id/__init__.py	2017-07-11 20:51:44 +0000
+++ ssh_import_id/__init__.py	2018-05-10 03:37:48 +0000
@@ -302,14 +302,14 @@
 		data = json.loads(text)
 		if resp.status_code == 404:
 			print('Username "%s" not found at GitHub API' % ghid)
-			os._exit(1)
+			sys.exit(1)
 		if x_ratelimit_remaining in resp.headers and int(resp.headers[x_ratelimit_remaining]) == 0:
 			print('GitHub REST API rate-limited this IP address. See %s' % help_url)
-			os._exit(1)
+			sys.exit(1)
 		for keyobj in data:
 			keys += "%s %s@github/%s\n" % (keyobj['key'], ghid, keyobj['id'])
 	except (Exception,):
 		e = sys.exc_info()[1]
 		sys.stderr.write("ERROR: %s\n" % (str(e)))
-		os._exit(1)
+		sys.exit(1)
 	return keys