]> asedeno.scripts.mit.edu Git - PuTTY.git/blobdiff - unix/uxputty.c
Belatedly update the copyright year to 2013.
[PuTTY.git] / unix / uxputty.c
index fc718a0c8cfbc0ad3a38bfa73c02ae24c0206550..fbaf029d3b769478903356b18283d205f588a14d 100644 (file)
@@ -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 */
 }