diff options
author | Alexandre Oliva <oliva@lsd.ic.unicamp.br> | 2000-02-10 16:29:21 +0000 |
---|---|---|
committer | Alexandre Oliva <oliva@gcc.gnu.org> | 2000-02-10 16:29:21 +0000 |
commit | d1922b48994d0d83dea181e0725697291a5208ad (patch) | |
tree | bc1dde13ee1df734ce16aa8b53f4540962833ea9 /gcc/fixinc/server.c | |
parent | 139cfaa75e1817260807b471259c4b7776c727d7 (diff) | |
download | gcc-d1922b48994d0d83dea181e0725697291a5208ad.zip gcc-d1922b48994d0d83dea181e0725697291a5208ad.tar.gz gcc-d1922b48994d0d83dea181e0725697291a5208ad.tar.bz2 |
server.c (load_data): Return NULL if the marker line is not found.
* fixinc/server.c (load_data): Return NULL if the marker line is
not found.
(run_shell): If load_data returns NULL, retry the command once, in
a new shell.
From-SVN: r31894
Diffstat (limited to 'gcc/fixinc/server.c')
-rw-r--r-- | gcc/fixinc/server.c | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/gcc/fixinc/server.c b/gcc/fixinc/server.c index 1eacda7..676df8c 100644 --- a/gcc/fixinc/server.c +++ b/gcc/fixinc/server.c @@ -114,6 +114,7 @@ load_data (fp) size_t text_size; char *pz_scan; char z_line[1024]; + t_bool got_done = BOOL_FALSE; text_size = sizeof (z_line) * 2; pz_scan = pz_text = malloc (text_size); @@ -131,7 +132,10 @@ load_data (fp) break; if (strncmp (z_line, z_done, sizeof (z_done) - 1) == 0) - break; + { + got_done = BOOL_TRUE; + break; + } strcpy (pz_scan, z_line); pz_scan += strlen (z_line); @@ -157,7 +161,7 @@ load_data (fp) } alarm (0); - if (read_pipe_timeout) + if (read_pipe_timeout || ! got_done) { free ((void *) pz_text); return (char *) NULL; @@ -255,6 +259,9 @@ char * run_shell (pz_cmd) const char *pz_cmd; { + t_bool retry = BOOL_TRUE; + + do_retry: /* IF the shell server process is not running yet, THEN try to start it. */ if (server_id == NULLPROCESS) @@ -299,9 +306,16 @@ run_shell (pz_cmd) if (pz == (char *) NULL) { + close_server (); + + if (retry) + { + retry = BOOL_FALSE; + goto do_retry; + } + fprintf (stderr, "CLOSING SHELL SERVER - command failure:\n\t%s\n", pz_cmd); - close_server (); pz = (char *) malloc (1); if (pz != (char *) NULL) *pz = '\0'; |