Overview
| Comment: | Updated to show page when completed |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
06b37e2ab1ff54e0a1b6e142ee58675f |
| User & Date: | rkeene on 2014-07-19 07:23:02 |
| Other Links: | manifest | tags |
Context
|
2014-07-19
| ||
| 07:32 | Updated to cache trunk builds for a single day check-in: 378b040608 user: rkeene tags: trunk | |
| 07:23 | Updated to show page when completed check-in: 06b37e2ab1 user: rkeene tags: trunk | |
| 07:18 | Updated to explicitly disable threads if it was not selected check-in: f404c778a3 user: rkeene tags: trunk | |
Changes
Modified build/web/building.cgi from [e52dc222ad] to [98cd8538ea].
| ︙ | ︙ | |||
31 32 33 34 35 36 37 38 39 40 41 |
set status "Queued"
}
}
if {[info exists outfile]} {
if {[file exists $outfile]} {
set status "Complete"
set url "http://kitcreator.rkeene.org/kits/$key/$filename"
} elseif {[file exists "${outfile}.buildfail"]} {
set status "Failed"
| > < | > > > > > | 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 |
set status "Queued"
}
}
if {[info exists outfile]} {
if {[file exists $outfile]} {
set status "Complete"
set terminal 1
set url "http://kitcreator.rkeene.org/kits/$key/$filename"
} elseif {[file exists "${outfile}.buildfail"]} {
set status "Failed"
set terminal 1
} else {
set status "Building"
}
}
puts "Content-Type: text/html"
if {[info exists url]} {
# Use a refresh here instead of a "Location" so that
# the client can see the page
puts "Refresh: 0;url=$url"
} else {
if {!$terminal} {
puts "Refresh: 30;url=."
}
}
puts ""
puts "<html>"
puts "\t<head>"
puts "\t\t<title>KitCreator, Web Interface</title>"
puts "\t</head>"
puts "\t<body>"
puts "\t\t<h1>KitCreator Web Interface</h1>"
puts "\t\t<p><b>Status:</b> $status</p>"
if {[info exists url]} {
puts "\t\t<p><b>URL:</b> <a href=\"$url\">$url</a></p>"
}
puts "\t</body>"
puts "</html>"
|