1 :Info: reconnect.ec.gi: reconnect.ec: reconnect_ec.gi: reconnect_ec:  1982-06-17  reconnect.ec
 2 
 3 An exec_com segment, prepared by the user and stored in the home
 4 directory, that is invoked automatically when the user connects to a
 5 disconnected process.  It is often used to execute commands such as
 6 set_tty, to ensure that terminal modes are what the user desires them
 7 to be.
 8 
 9 
10 Notes:  When a terminal is disconnected, none of its modes, set by
11 default or by set_tty commands, are remembered.  This is because the
12 old modes may not be appropriate to the terminal which is used to
13 reconnect to the process.  Thus, if the user typically sets various
14 terminal modes in the start_up.ec, or by explicit command, it may be
15 helpful to make a reconnect.ec which also sets these modes.  For the
16 same reason that the system does not retain modes across process
17 disconnection, the user shoud not automatically set modes which may
18 conflict with the characteristics of any of the terminals which might
19 be used.  An example of a device-independent terminal characteristic
20 which the user might choose to alter are the line editing characters.
21 The start_up.ec and reconnect.ec might both contain a set_tty command
22 to change the line editing (erase and kill) characters.
23 
24 
25 :hcom:
26 /****^  HISTORY COMMENTS:
27   1) change(2020-12-15,GDixon), approve(2021-02-22,MCR10088),
28      audit(2021-05-27,Swenson), install(2021-05-27,MR12.6g-0056):
29       A) Fix errors reported by the new verify_info command.
30       B) Add names: reconnect.ec.gi.info, reconnect_ec.gi.info, reconnect_ec.info
31                                                    END HISTORY COMMENTS */