| changeset 67925 | 74dce5658d4c |
| parent 67923 | 3e072441c96a |
| child 67931 | f7917c15b566 |
| 67924:b2cdd24e83b6 | 67925:74dce5658d4c |
|---|---|
135 progress = progress, |
135 progress = progress, |
136 log = log) |
136 log = log) |
137 |
137 |
138 val id = UUID() |
138 val id = UUID() |
139 |
139 |
140 (JSON.Object("session_id" -> id.toString), id -> session) |
140 val res = |
141 JSON.Object( |
|
142 "session_id" -> id.toString, |
|
143 "tmp_dir" -> File.path(session.tmp_dir).implode) |
|
144 |
|
145 (res, id -> session) |
|
141 } |
146 } |
142 } |
147 } |
143 |
148 |
144 object Session_Stop |
149 object Session_Stop |
145 { |
150 { |