[gnuastro-commits] master 0e54c5d: Match: --stdintimeout option is not ignored

[Mohammad Akhlaghi]

branch: master
commit 0e54c5d154a638f3c109225c28d0c6e3f6508803
Author: Mohammad Akhlaghi <address@hidden>
Commit: Mohammad Akhlaghi <address@hidden>

    Match: --stdintimeout option is not ignored
    
    Match is designed to also work based on piped input from `stdin'. However,
    until now, the `--stdintimeout' option was set as a "hidden" option, so its
    value from the configuration files would be ignored and Match would give it
    a value of zero. So in many cases, it couldn't read input from `stdin'.
    
    With this commit, it is no longer set as a hidden option.
---
 bin/match/ui.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/bin/match/ui.c b/bin/match/ui.c
index d569e87..ee04c9d 100644
--- a/bin/match/ui.c
+++ b/bin/match/ui.c
@@ -119,7 +119,6 @@ ui_initialize_options(struct matchparams *p,
           break;
         case GAL_OPTIONS_KEY_TYPE:
         case GAL_OPTIONS_KEY_NUMTHREADS:
-        case GAL_OPTIONS_KEY_STDINTIMEOUT:
           cp->coptions[i].flags=OPTION_HIDDEN;
           break;
         }