diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-07-16 18:09:44 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-07-16 18:09:44 +0200 |
commit | 856c182cd0d76db0ec2444cec96e9c53714ec930 (patch) | |
tree | 70eb5719020b548fb722c3ad6f6e253aabc89312 /open_issues/term_blocking.mdwn | |
parent | 5d5d6f01b3e0e700a33de02f9ece38557bb2af13 (diff) | |
parent | 89f33677640b8a6ff0bb2b7b4cb2b6c24670bde9 (diff) | |
download | web-856c182cd0d76db0ec2444cec96e9c53714ec930.tar.gz web-856c182cd0d76db0ec2444cec96e9c53714ec930.tar.bz2 web-856c182cd0d76db0ec2444cec96e9c53714ec930.zip |
Merge branch 'master' of flubber:~hurd-web/hurd-web
Diffstat (limited to 'open_issues/term_blocking.mdwn')
-rw-r--r-- | open_issues/term_blocking.mdwn | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/open_issues/term_blocking.mdwn b/open_issues/term_blocking.mdwn index 5eea1570..19d18d0e 100644 --- a/open_issues/term_blocking.mdwn +++ b/open_issues/term_blocking.mdwn @@ -47,7 +47,7 @@ for the process using that terminal. Killed that `term` instance, and things were fine again. -All this reproducible happens while running the [[GDB testsuite]]. +All this reproducible happens while running the [[GDB testsuite|gdb]]. --- @@ -114,6 +114,9 @@ started GDB (the system one, for `.debug` stuff) on `/hurd/term`, `set noninvasive on`, attach to the *term* that GDB is using. +[[2011-07-04]]. + + # Formal Verification This issue may be a simple programming error, or it may be more complicated. |