| changeset 71693 | f249b5c0fea2 |
| parent 71692 | f8e52c0152fe |
| child 71694 | 16aa085f9353 |
| 71692:f8e52c0152fe | 71693:f249b5c0fea2 |
|---|---|
37 (case get_name () of |
37 (case get_name () of |
38 NONE => raise Fail "Unknown thread name" |
38 NONE => raise Fail "Unknown thread name" |
39 | SOME name => name); |
39 | SOME name => name); |
40 |
40 |
41 fun set_name base = |
41 fun set_name base = |
42 Thread_Data.put name_var (SOME (base ^ "/" ^ string_of_int (count ()))); |
42 Thread_Data.put name_var (SOME ("Isabelle." ^ base ^ "-" ^ string_of_int (count ()))); |
43 |
43 |
44 end; |
44 end; |
45 |
45 |
46 |
46 |
47 (* fork *) |
47 (* fork *) |