Overview
| Comment: | Slightly more safety |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
ff41f3e3545cd7398452b157404388cb |
| User & Date: | rkeene on 2019-02-28 09:28:55 |
| Other Links: | manifest | tags |
Context
|
2019-02-28
| ||
| 09:48 | More options for the API client check-in: 3bc708ba71 user: rkeene tags: trunk | |
| 09:28 | Slightly more safety check-in: ff41f3e354 user: rkeene tags: trunk | |
| 09:20 | More metadata in API check-in: e9fdb85e3f user: rkeene tags: trunk | |
Changes
Modified build/web/building.cgi from [acd01c9456] to [5e55e39bde].
| ︙ | |||
142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 | 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 | + + + + + + |
terminal $terminalBoolean \
]
if {[string tolower $status] eq "complete"} {
dict set resultsDict kit_url $url
}
if {[string tolower $status] in {complete building}} {
dict set resultsDict build_log_url $build_log_url
catch {
dict set resultsDict tcl_version $buildinfo(tcl_version)
}
catch {
dict set resultsDict kitcreator_version $buildinfo(kitcreator_version)
}
catch {
dict set resultsDict platform $buildinfo(platform)
}
}
}
switch -exact -- $resultFormat {
"html" {
# Handled below
}
"json" {
puts "Content-Type: application/json"
|
| ︙ |