Changes

Jump to navigation Jump to search
No change in size ,  02:06, 30 January 2019
→‎External terminal: make it more English
Line 33: Line 33:  
=== External terminal ===
 
=== External terminal ===
   −
'''external''' terminals stands for cases when file descriptors known to be changing between checkpoint/restore cycles and passed from command line options, see [[Inheriting FDs on restore]] for details. For this kind of terminals we are relying the file descriptors already opened and passed available so on restore we simply reuse them.
+
'''external''' terminals stands for cases when file descriptors known to be changing between checkpoint/restore cycles and passed from command line options, see [[Inheriting FDs on restore]] for details. For this kind of terminals we are relying on the file descriptors to be already opened and passed, so on restore we simply reuse them.
    
=== Serial terminal ===
 
=== Serial terminal ===

Navigation menu