diff options
| author | Xavier Roche <xroche@users.noreply.github.com> | 2012-05-01 16:25:50 +0000 |
|---|---|---|
| committer | Xavier Roche <xroche@users.noreply.github.com> | 2012-05-01 16:25:50 +0000 |
| commit | 4c7ec9bf95f823654bae8dac7edbed2615adb27e (patch) | |
| tree | e45059be12207f4a2f6584776362747df1b3ef1b /src/htscoremain.c | |
| parent | 8cd02da424dc7238c1ee39339699cc8a7f98ef22 (diff) | |
Do not interpret ^C before mirror is finished, or after!
Diffstat (limited to 'src/htscoremain.c')
| -rw-r--r-- | src/htscoremain.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/htscoremain.c b/src/htscoremain.c index 2213feb..5f9c8a7 100644 --- a/src/htscoremain.c +++ b/src/htscoremain.c @@ -2177,6 +2177,7 @@ HTSEXT_API int hts_main2(int argc, char **argv, httrackp *opt) { // Lancement du miroir // ------------------------------------------------------------ + opt->state._hts_in_mirror = 1; if (httpmirror(url, opt)==0) { printf("Error during operation (see log file), site has not been successfully mirrored\n"); } else { @@ -2188,6 +2189,7 @@ HTSEXT_API int hts_main2(int argc, char **argv, httrackp *opt) { printf("Done.\n"); } } + opt->state._hts_in_mirror = 0; // ------------------------------------------------------------ // |