mirror of
https://https.git.savannah.gnu.org/git/bash.git
synced 2026-07-14 07:30:49 +02:00
documentation tweaks for clarity
This commit is contained in:
+7
-2
@@ -5585,17 +5585,22 @@ execute_disk_command (words, redirects, command_line, pipe_in, pipe_out,
|
||||
|
||||
/* reset shell_pgrp to pipeline_pgrp here for word expansions performed
|
||||
by the redirections here? */
|
||||
|
||||
if (redirects && (do_redirections (redirects, RX_ACTIVE) != 0))
|
||||
{
|
||||
#if defined (PROCESS_SUBSTITUTION)
|
||||
/* Try to remove named pipes that may have been created as the
|
||||
result of redirections. */
|
||||
unlink_fifo_list ();
|
||||
unlink_all_fifos ();
|
||||
#endif /* PROCESS_SUBSTITUTION */
|
||||
exit (EXECUTION_FAILURE);
|
||||
}
|
||||
|
||||
#if defined (PROCESS_SUBSTITUTION) && !defined (HAVE_DEV_FD)
|
||||
/* This should only contain FIFOs created as part of redirection
|
||||
expansion. */
|
||||
unlink_all_fifos ();
|
||||
#endif
|
||||
|
||||
if (async)
|
||||
interactive = old_interactive;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user