X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=blobdiff_plain;f=unix%2Fuxputty.c;h=fbaf029d3b769478903356b18283d205f588a14d;hb=0cc6fb8bfea07360afeac83ba67aceffb56499c8;hp=fc718a0c8cfbc0ad3a38bfa73c02ae24c0206550;hpb=a1f3b7a358adaa7c2a98359cd0373aa823eeb14b;p=PuTTY.git

diff --git a/unix/uxputty.c b/unix/uxputty.c
index fc718a0c..fbaf029d 100644
--- a/unix/uxputty.c
+++ b/unix/uxputty.c
@@ -125,6 +125,8 @@ char *platform_get_x_display(void) {
 int main(int argc, char **argv)
 {
     extern int pt_main(int argc, char **argv);
+    int ret;
+
     sk_init();
     flags = FLAG_VERBOSE | FLAG_INTERACTIVE;
     default_protocol = be_default_protocol;
@@ -135,5 +137,7 @@ int main(int argc, char **argv)
 	if (b)
 	    default_port = b->default_port;
     }
-    return pt_main(argc, argv);
+    ret = pt_main(argc, argv);
+    cleanup_exit(ret);
+    return ret;             /* not reached, but placates optimisers */
 }