[krbdev.mit.edu #8651] git commit

[Greg Hudson via RT]

Avoid rereading non-regular profile files

If a profile file is a special device such as a pipe, then reloading
it will cause us to discard its contents.  Repurpose the first
PROFILE_FILE flag bit to indicate that the file should not be
reloaded.  In profile_update_file_data_locked(), set the flag on the
first load if stat() doesn't indicate a regular file, and check the
flag before testing whether we need to perform any subsequent reload.

Later on in profile_update_file_data_locked(), specifically unset the
DIRTY flag rather than unsetting all flags other than SHARED, so that
we don't clear the NO_RELOAD flag.

https://github.com/krb5/krb5/commit/2c26419ad7ea4800995180292ce39db863672fa9
Author: Greg Hudson <ghudson at mit.edu>
Commit: 2c26419ad7ea4800995180292ce39db863672fa9
Branch: master
 src/util/profile/prof_file.c |    9 ++++++++-
 src/util/profile/prof_int.h  |    5 +----
 2 files changed, 9 insertions(+), 5 deletions(-)