/mandos/trunk

To get this branch, use:
bzr branch http://bzr.recompile.se/loggerhead/mandos/trunk

« back to all changes in this revision

Viewing changes to plugins.d/password-prompt.c

  • Committer: Teddy Hogeborn
  • Date: 2011-03-08 19:09:03 UTC
  • Revision ID: teddy@fukt.bsnet.se-20110308190903-j499ebtb9bpk31ar
* INSTALL: Updated.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
/*  -*- coding: utf-8 -*- */
 
1
/*  -*- coding: utf-8; mode: c; mode: orgtbl -*- */
2
2
/*
3
 
 * Passprompt - Read a password from the terminal and print it
4
 
 *
5
 
 * Copyright © 2007-2008 Teddy Hogeborn & Björn Påhlsson
 
3
 * Password-prompt - Read a password from the terminal and print it
 
4
 * 
 
5
 * Copyright © 2008-2010 Teddy Hogeborn
 
6
 * Copyright © 2008-2010 Björn Påhlsson
6
7
 * 
7
8
 * This program is free software: you can redistribute it and/or
8
9
 * modify it under the terms of the GNU General Public License as
18
19
 * along with this program.  If not, see
19
20
 * <http://www.gnu.org/licenses/>.
20
21
 * 
21
 
 * Contact the authors at <https://www.fukt.bsnet.se/~belorn/> and
22
 
 * <https://www.fukt.bsnet.se/~teddy/>.
 
22
 * Contact the authors at <mandos@fukt.bsnet.se>.
23
23
 */
24
24
 
25
 
#define _GNU_SOURCE             /* getline() */
 
25
#define _GNU_SOURCE             /* getline(), asprintf() */
26
26
 
27
 
#include <termios.h>            /* struct termios, tcsetattr(),
 
27
#include <termios.h>            /* struct termios, tcsetattr(),
28
28
                                   TCSAFLUSH, tcgetattr(), ECHO */
29
29
#include <unistd.h>             /* struct termios, tcsetattr(),
30
30
                                   STDIN_FILENO, TCSAFLUSH,
31
 
                                   tcgetattr(), ECHO */
 
31
                                   tcgetattr(), ECHO, readlink() */
32
32
#include <signal.h>             /* sig_atomic_t, raise(), struct
33
33
                                   sigaction, sigemptyset(),
34
34
                                   sigaction(), sigaddset(), SIGINT,
35
 
                                   SIGQUIT, SIGHUP, SIGTERM */
 
35
                                   SIGQUIT, SIGHUP, SIGTERM,
 
36
                                   raise() */
36
37
#include <stddef.h>             /* NULL, size_t, ssize_t */
37
 
#include <sys/types.h>          /* ssize_t */
 
38
#include <sys/types.h>          /* ssize_t, struct dirent, pid_t,
 
39
                                   ssize_t, open() */
38
40
#include <stdlib.h>             /* EXIT_SUCCESS, EXIT_FAILURE,
39
 
                                   getopt_long */
 
41
                                   getenv(), free() */
 
42
#include <dirent.h>             /* scandir(), alphasort() */
40
43
#include <stdio.h>              /* fprintf(), stderr, getline(),
41
 
                                   stdin, feof(), perror(), fputc(),
42
 
                                   stdout, getopt_long */
43
 
#include <errno.h>              /* errno, EINVAL */
 
44
                                   stdin, feof(), fputc()
 
45
                                */
 
46
#include <errno.h>              /* errno, EBADF, ENOTTY, EINVAL,
 
47
                                   EFAULT, EFBIG, EIO, ENOSPC, EINTR
 
48
                                */
 
49
#include <error.h>              /* error() */
44
50
#include <iso646.h>             /* or, not */
45
51
#include <stdbool.h>            /* bool, false, true */
46
 
#include <string.h>             /* strlen, rindex, strncmp, strcmp */
 
52
#include <inttypes.h>           /* strtoumax() */
 
53
#include <sys/stat.h>           /* struct stat, lstat(), open() */
 
54
#include <string.h>             /* strlen, rindex, memcmp */
47
55
#include <argp.h>               /* struct argp_option, struct
48
56
                                   argp_state, struct argp,
49
57
                                   argp_parse(), error_t,
50
58
                                   ARGP_KEY_ARG, ARGP_KEY_END,
51
59
                                   ARGP_ERR_UNKNOWN */
 
60
#include <sysexits.h>           /* EX_SOFTWARE, EX_OSERR,
 
61
                                   EX_UNAVAILABLE, EX_IOERR, EX_OK */
 
62
#include <fcntl.h>              /* open() */
52
63
 
53
 
volatile bool quit_now = false;
 
64
volatile sig_atomic_t quit_now = 0;
 
65
int signal_received;
54
66
bool debug = false;
55
 
const char *argp_program_version = "password-prompt 1.0";
 
67
const char *argp_program_version = "password-prompt " VERSION;
56
68
const char *argp_program_bug_address = "<mandos@fukt.bsnet.se>";
57
69
 
58
 
static void termination_handler(__attribute__((unused))int signum){
59
 
  quit_now = true;
60
 
}
 
70
/* Needed for conflict resolution */
 
71
const char plymouth_name[] = "plymouthd";
 
72
 
 
73
static void termination_handler(int signum){
 
74
  if(quit_now){
 
75
    return;
 
76
  }
 
77
  quit_now = 1;
 
78
  signal_received = signum;
 
79
}
 
80
 
 
81
bool conflict_detection(void){
 
82
 
 
83
  /* plymouth conflicts with password-prompt since both want to read
 
84
     from the terminal.  Password-prompt will exit if it detects
 
85
     plymouth since plymouth performs the same functionality.
 
86
   */
 
87
  int is_plymouth(const struct dirent *proc_entry){
 
88
    int ret;
 
89
    int cl_fd;
 
90
    {
 
91
      uintmax_t maxvalue;
 
92
      char *tmp;
 
93
      errno = 0;
 
94
      maxvalue = strtoumax(proc_entry->d_name, &tmp, 10);
 
95
      
 
96
      if(errno != 0 or *tmp != '\0'
 
97
         or maxvalue != (uintmax_t)((pid_t)maxvalue)){
 
98
        return 0;
 
99
      }
 
100
    }
 
101
    
 
102
    char *cmdline_filename;
 
103
    ret = asprintf(&cmdline_filename, "/proc/%s/cmdline",
 
104
                   proc_entry->d_name);
 
105
    if(ret == -1){
 
106
      error(0, errno, "asprintf");
 
107
      return 0;
 
108
    }
 
109
    
 
110
    /* Open /proc/<pid>/cmdline */
 
111
    cl_fd = open(cmdline_filename, O_RDONLY);
 
112
    free(cmdline_filename);
 
113
    if(cl_fd == -1){
 
114
      error(0, errno, "open");
 
115
      return 0;
 
116
    }
 
117
    
 
118
    char *cmdline = NULL;
 
119
    {
 
120
      size_t cmdline_len = 0;
 
121
      size_t cmdline_allocated = 0;
 
122
      char *tmp;
 
123
      const size_t blocksize = 1024;
 
124
      ssize_t sret;
 
125
      do {
 
126
        /* Allocate more space? */
 
127
        if(cmdline_len + blocksize + 1 > cmdline_allocated){
 
128
          tmp = realloc(cmdline, cmdline_allocated + blocksize + 1);
 
129
          if(tmp == NULL){
 
130
            error(0, errno, "realloc");
 
131
            free(cmdline);
 
132
            close(cl_fd);
 
133
            return 0;
 
134
          }
 
135
          cmdline = tmp;
 
136
          cmdline_allocated += blocksize;
 
137
        }
 
138
        
 
139
        /* Read data */
 
140
        sret = read(cl_fd, cmdline + cmdline_len,
 
141
                    cmdline_allocated - cmdline_len);
 
142
        if(sret == -1){
 
143
          error(0, errno, "read");
 
144
          free(cmdline);
 
145
          close(cl_fd);
 
146
          return 0;
 
147
        }
 
148
        cmdline_len += (size_t)sret;
 
149
      } while(sret != 0);
 
150
      ret = close(cl_fd);
 
151
      if(ret == -1){
 
152
        error(0, errno, "close");
 
153
        free(cmdline);
 
154
        return 0;
 
155
      }
 
156
      cmdline[cmdline_len] = '\0'; /* Make sure it is terminated */
 
157
    }
 
158
    /* we now have cmdline */
 
159
    
 
160
    /* get basename */
 
161
    char *cmdline_base = strrchr(cmdline, '/');
 
162
    if(cmdline_base != NULL){
 
163
      cmdline_base += 1;                /* skip the slash */
 
164
    } else {
 
165
      cmdline_base = cmdline;
 
166
    }
 
167
    
 
168
    if(strcmp(cmdline_base, plymouth_name) != 0){
 
169
      if(debug){
 
170
        fprintf(stderr, "\"%s\" is not \"%s\"\n", cmdline_base,
 
171
                plymouth_name);
 
172
      }
 
173
      free(cmdline);
 
174
      return 0;
 
175
    }
 
176
    if(debug){
 
177
      fprintf(stderr, "\"%s\" equals \"%s\"\n", cmdline_base,
 
178
              plymouth_name);
 
179
    }
 
180
    free(cmdline);
 
181
    return 1;
 
182
  }
 
183
  
 
184
  struct dirent **direntries;
 
185
  int ret;
 
186
  ret = scandir("/proc", &direntries, is_plymouth, alphasort);
 
187
  if (ret == -1){
 
188
    error(1, errno, "scandir");
 
189
  }
 
190
  return ret > 0;
 
191
}
 
192
 
61
193
 
62
194
int main(int argc, char **argv){
63
 
  ssize_t ret;
 
195
  ssize_t sret;
 
196
  int ret;
64
197
  size_t n;
65
198
  struct termios t_new, t_old;
66
199
  char *buffer = NULL;
73
206
    struct argp_option options[] = {
74
207
      { .name = "prefix", .key = 'p',
75
208
        .arg = "PREFIX", .flags = 0,
76
 
        .doc = "Prefix used before the passprompt", .group = 2 },
 
209
        .doc = "Prefix shown before the prompt", .group = 2 },
77
210
      { .name = "debug", .key = 128,
78
211
        .doc = "Debug mode", .group = 3 },
 
212
      /*
 
213
       * These reproduce what we would get without ARGP_NO_HELP
 
214
       */
 
215
      { .name = "help", .key = '?',
 
216
        .doc = "Give this help list", .group = -1 },
 
217
      { .name = "usage", .key = -3,
 
218
        .doc = "Give a short usage message", .group = -1 },
 
219
      { .name = "version", .key = 'V',
 
220
        .doc = "Print program version", .group = -1 },
79
221
      { .name = NULL }
80
222
    };
81
 
  
82
 
    error_t parse_opt (int key, char *arg, struct argp_state *state) {
83
 
      /* Get the INPUT argument from `argp_parse', which we know is a
84
 
         pointer to our plugin list pointer. */
85
 
      switch (key) {
 
223
    
 
224
    error_t parse_opt (int key, char *arg, struct argp_state *state){
 
225
      errno = 0;
 
226
      switch (key){
86
227
      case 'p':
87
228
        prefix = arg;
88
229
        break;
89
230
      case 128:
90
231
        debug = true;
91
232
        break;
92
 
      case ARGP_KEY_ARG:
93
 
        argp_usage (state);
94
 
        break;
95
 
      case ARGP_KEY_END:
 
233
        /*
 
234
         * These reproduce what we would get without ARGP_NO_HELP
 
235
         */
 
236
      case '?':                 /* --help */
 
237
        argp_state_help(state, state->out_stream,
 
238
                        (ARGP_HELP_STD_HELP | ARGP_HELP_EXIT_ERR)
 
239
                        & ~(unsigned int)ARGP_HELP_EXIT_OK);
 
240
      case -3:                  /* --usage */
 
241
        argp_state_help(state, state->out_stream,
 
242
                        ARGP_HELP_USAGE | ARGP_HELP_EXIT_ERR);
 
243
      case 'V':                 /* --version */
 
244
        fprintf(state->out_stream, "%s\n", argp_program_version);
 
245
        exit(argp_err_exit_status);
96
246
        break;
97
247
      default:
98
248
        return ARGP_ERR_UNKNOWN;
99
249
      }
100
 
      return 0;
 
250
      return errno;
101
251
    }
102
 
  
 
252
    
103
253
    struct argp argp = { .options = options, .parser = parse_opt,
104
254
                         .args_doc = "",
105
 
                         .doc = "Mandos Passprompt -- Provides a passprompt" };
106
 
    ret = argp_parse (&argp, argc, argv, 0, 0, NULL);
107
 
    if (ret == ARGP_ERR_UNKNOWN){
108
 
      fprintf(stderr, "Unknown error while parsing arguments\n");
109
 
      return EXIT_FAILURE;
 
255
                         .doc = "Mandos password-prompt -- Read and"
 
256
                         " output a password" };
 
257
    ret = argp_parse(&argp, argc, argv,
 
258
                     ARGP_IN_ORDER | ARGP_NO_HELP, NULL, NULL);
 
259
    switch(ret){
 
260
    case 0:
 
261
      break;
 
262
    case ENOMEM:
 
263
    default:
 
264
      errno = ret;
 
265
      error(0, errno, "argp_parse");
 
266
      return EX_OSERR;
 
267
    case EINVAL:
 
268
      return EX_USAGE;
110
269
    }
111
270
  }
112
 
    
113
 
  if (debug){
 
271
  
 
272
  if(debug){
114
273
    fprintf(stderr, "Starting %s\n", argv[0]);
115
274
  }
116
 
  if (debug){
 
275
 
 
276
  if (conflict_detection()){
 
277
    if(debug){
 
278
      fprintf(stderr, "Stopping %s because of conflict\n", argv[0]);
 
279
    }
 
280
    return EXIT_FAILURE;
 
281
  }
 
282
  
 
283
  if(debug){
117
284
    fprintf(stderr, "Storing current terminal attributes\n");
118
285
  }
119
286
  
120
 
  if (tcgetattr(STDIN_FILENO, &t_old) != 0){
121
 
    return EXIT_FAILURE;
 
287
  if(tcgetattr(STDIN_FILENO, &t_old) != 0){
 
288
    int e = errno;
 
289
    error(0, errno, "tcgetattr");
 
290
    switch(e){
 
291
    case EBADF:
 
292
    case ENOTTY:
 
293
      return EX_UNAVAILABLE;
 
294
    default:
 
295
      return EX_OSERR;
 
296
    }
122
297
  }
123
298
  
124
299
  sigemptyset(&new_action.sa_mask);
125
 
  sigaddset(&new_action.sa_mask, SIGINT);
126
 
  sigaddset(&new_action.sa_mask, SIGHUP);
127
 
  sigaddset(&new_action.sa_mask, SIGTERM);
 
300
  ret = sigaddset(&new_action.sa_mask, SIGINT);
 
301
  if(ret == -1){
 
302
    error(0, errno, "sigaddset");
 
303
    return EX_OSERR;
 
304
  }
 
305
  ret = sigaddset(&new_action.sa_mask, SIGHUP);
 
306
  if(ret == -1){
 
307
    error(0, errno, "sigaddset");
 
308
    return EX_OSERR;
 
309
  }
 
310
  ret = sigaddset(&new_action.sa_mask, SIGTERM);
 
311
  if(ret == -1){
 
312
    error(0, errno, "sigaddset");
 
313
    return EX_OSERR;
 
314
  }
 
315
  /* Need to check if the handler is SIG_IGN before handling:
 
316
     | [[info:libc:Initial Signal Actions]] |
 
317
     | [[info:libc:Basic Signal Handling]]  |
 
318
  */
128
319
  ret = sigaction(SIGINT, NULL, &old_action);
129
320
  if(ret == -1){
130
 
    perror("sigaction");
131
 
    return EXIT_FAILURE;
 
321
    error(0, errno, "sigaction");
 
322
    return EX_OSERR;
132
323
  }
133
 
  if (old_action.sa_handler != SIG_IGN){
 
324
  if(old_action.sa_handler != SIG_IGN){
134
325
    ret = sigaction(SIGINT, &new_action, NULL);
135
326
    if(ret == -1){
136
 
      perror("sigaction");
137
 
      return EXIT_FAILURE;
 
327
      error(0, errno, "sigaction");
 
328
      return EX_OSERR;
138
329
    }
139
330
  }
140
331
  ret = sigaction(SIGHUP, NULL, &old_action);
141
332
  if(ret == -1){
142
 
    perror("sigaction");
143
 
    return EXIT_FAILURE;
 
333
    error(0, errno, "sigaction");
 
334
    return EX_OSERR;
144
335
  }
145
 
  if (old_action.sa_handler != SIG_IGN){
 
336
  if(old_action.sa_handler != SIG_IGN){
146
337
    ret = sigaction(SIGHUP, &new_action, NULL);
147
338
    if(ret == -1){
148
 
      perror("sigaction");
149
 
      return EXIT_FAILURE;
 
339
      error(0, errno, "sigaction");
 
340
      return EX_OSERR;
150
341
    }
151
342
  }
152
343
  ret = sigaction(SIGTERM, NULL, &old_action);
153
344
  if(ret == -1){
154
 
    perror("sigaction");
155
 
    return EXIT_FAILURE;
 
345
    error(0, errno, "sigaction");
 
346
    return EX_OSERR;
156
347
  }
157
 
  if (old_action.sa_handler != SIG_IGN){
 
348
  if(old_action.sa_handler != SIG_IGN){
158
349
    ret = sigaction(SIGTERM, &new_action, NULL);
159
350
    if(ret == -1){
160
 
      perror("sigaction");
161
 
      return EXIT_FAILURE;
 
351
      error(0, errno, "sigaction");
 
352
      return EX_OSERR;
162
353
    }
163
354
  }
164
355
  
165
356
  
166
 
  if (debug){
 
357
  if(debug){
167
358
    fprintf(stderr, "Removing echo flag from terminal attributes\n");
168
359
  }
169
360
  
170
361
  t_new = t_old;
171
 
  t_new.c_lflag &= ~ECHO;
172
 
  if (tcsetattr(STDIN_FILENO, TCSAFLUSH, &t_new) != 0){
173
 
    perror("tcsetattr-echo");
174
 
    return EXIT_FAILURE;
 
362
  t_new.c_lflag &= ~(tcflag_t)ECHO;
 
363
  if(tcsetattr(STDIN_FILENO, TCSAFLUSH, &t_new) != 0){
 
364
    int e = errno;
 
365
    error(0, errno, "tcsetattr-echo");
 
366
    switch(e){
 
367
    case EBADF:
 
368
    case ENOTTY:
 
369
      return EX_UNAVAILABLE;
 
370
    case EINVAL:
 
371
    default:
 
372
      return EX_OSERR;
 
373
    }
175
374
  }
176
 
 
177
 
  if (debug){
 
375
  
 
376
  if(debug){
178
377
    fprintf(stderr, "Waiting for input from stdin \n");
179
378
  }
180
379
  while(true){
181
 
    if (quit_now){
 
380
    if(quit_now){
 
381
      if(debug){
 
382
        fprintf(stderr, "Interrupted by signal, exiting.\n");
 
383
      }
182
384
      status = EXIT_FAILURE;
183
385
      break;
184
386
    }
185
387
 
186
388
    if(prefix){
187
 
      fprintf(stderr, "%s Password: ", prefix);
188
 
    } else {
189
 
      fprintf(stderr, "Password: ");
190
 
    }      
191
 
    ret = getline(&buffer, &n, stdin);
192
 
    if (ret > 0){
193
 
      fprintf(stdout, "%s", buffer);
 
389
      fprintf(stderr, "%s ", prefix);
 
390
    }
 
391
    {
 
392
      const char *cryptsource = getenv("CRYPTTAB_SOURCE");
 
393
      const char *crypttarget = getenv("CRYPTTAB_NAME");
 
394
      /* Before cryptsetup 1.1.0~rc2 */
 
395
      if(cryptsource == NULL){
 
396
        cryptsource = getenv("cryptsource");
 
397
      }
 
398
      if(crypttarget == NULL){
 
399
        crypttarget = getenv("crypttarget");
 
400
      }
 
401
      const char *const prompt1 = "Unlocking the disk";
 
402
      const char *const prompt2 = "Enter passphrase";
 
403
      if(cryptsource == NULL){
 
404
        if(crypttarget == NULL){
 
405
          fprintf(stderr, "%s to unlock the disk: ", prompt2);
 
406
        } else {
 
407
          fprintf(stderr, "%s (%s)\n%s: ", prompt1, crypttarget,
 
408
                  prompt2);
 
409
        }
 
410
      } else {
 
411
        if(crypttarget == NULL){
 
412
          fprintf(stderr, "%s %s\n%s: ", prompt1, cryptsource,
 
413
                  prompt2);
 
414
        } else {
 
415
          fprintf(stderr, "%s %s (%s)\n%s: ", prompt1, cryptsource,
 
416
                  crypttarget, prompt2);
 
417
        }
 
418
      }
 
419
    }
 
420
    sret = getline(&buffer, &n, stdin);
 
421
    if(sret > 0){
194
422
      status = EXIT_SUCCESS;
 
423
      /* Make n = data size instead of allocated buffer size */
 
424
      n = (size_t)sret;
 
425
      /* Strip final newline */
 
426
      if(n > 0 and buffer[n-1] == '\n'){
 
427
        buffer[n-1] = '\0';     /* not strictly necessary */
 
428
        n--;
 
429
      }
 
430
      size_t written = 0;
 
431
      while(written < n){
 
432
        sret = write(STDOUT_FILENO, buffer + written, n - written);
 
433
        if(sret < 0){
 
434
          int e = errno;
 
435
          error(0, errno, "write");
 
436
          switch(e){
 
437
          case EBADF:
 
438
          case EFAULT:
 
439
          case EINVAL:
 
440
          case EFBIG:
 
441
          case EIO:
 
442
          case ENOSPC:
 
443
          default:
 
444
            status = EX_IOERR;
 
445
            break;
 
446
          case EINTR:
 
447
            status = EXIT_FAILURE;
 
448
            break;
 
449
          }
 
450
          break;
 
451
        }
 
452
        written += (size_t)sret;
 
453
      }
 
454
      sret = close(STDOUT_FILENO);
 
455
      if(sret == -1){
 
456
        int e = errno;
 
457
        error(0, errno, "close");
 
458
        switch(e){
 
459
        case EBADF:
 
460
          status = EX_OSFILE;
 
461
          break;
 
462
        case EIO:
 
463
        default:
 
464
          status = EX_IOERR;
 
465
          break;
 
466
        }
 
467
      }
195
468
      break;
196
469
    }
197
 
    if (ret < 0){
198
 
      if (errno != EINTR and not feof(stdin)){
199
 
        perror("getline");
200
 
        status = EXIT_FAILURE;
 
470
    if(sret < 0){
 
471
      int e = errno;
 
472
      if(errno != EINTR and not feof(stdin)){
 
473
        error(0, errno, "getline");
 
474
        switch(e){
 
475
        case EBADF:
 
476
          status = EX_UNAVAILABLE;
 
477
        case EIO:
 
478
        case EINVAL:
 
479
        default:
 
480
          status = EX_IOERR;
 
481
          break;
 
482
        }
201
483
        break;
202
484
      }
203
485
    }
204
 
    /* if(ret == 0), then the only sensible thing to do is to retry to
205
 
       read from stdin */
 
486
    /* if(sret == 0), then the only sensible thing to do is to retry
 
487
       to read from stdin */
206
488
    fputc('\n', stderr);
 
489
    if(debug and not quit_now){
 
490
      /* If quit_now is nonzero, we were interrupted by a signal, and
 
491
         will print that later, so no need to show this too. */
 
492
      fprintf(stderr, "getline() returned 0, retrying.\n");
 
493
    }
207
494
  }
208
495
  
209
 
  if (debug){
 
496
  free(buffer);
 
497
  
 
498
  if(debug){
210
499
    fprintf(stderr, "Restoring terminal attributes\n");
211
500
  }
212
 
  if (tcsetattr(STDIN_FILENO, TCSAFLUSH, &t_old) != 0){
213
 
    perror("tcsetattr+echo");
214
 
  }
215
 
  
216
 
  if (debug){
217
 
    fprintf(stderr, "%s is exiting\n", argv[0]);
 
501
  if(tcsetattr(STDIN_FILENO, TCSAFLUSH, &t_old) != 0){
 
502
    error(0, errno, "tcsetattr+echo");
 
503
  }
 
504
  
 
505
  if(quit_now){
 
506
    sigemptyset(&old_action.sa_mask);
 
507
    old_action.sa_handler = SIG_DFL;
 
508
    ret = sigaction(signal_received, &old_action, NULL);
 
509
    if(ret == -1){
 
510
      error(0, errno, "sigaction");
 
511
    }
 
512
    raise(signal_received);
 
513
  }
 
514
  
 
515
  if(debug){
 
516
    fprintf(stderr, "%s is exiting with status %d\n", argv[0],
 
517
            status);
 
518
  }
 
519
  if(status == EXIT_SUCCESS or status == EX_OK){
 
520
    fputc('\n', stderr);
218
521
  }
219
522
  
220
523
  return status;