@@ -192,7 +192,7 @@ discard block |
||
192 | 192 | } |
193 | 193 | |
194 | 194 | function flops_graph($batch) { |
195 | - page_head("Batch $batch->id job runtimes"); |
|
195 | + page_head("batch $batch->id job runtimes"); |
|
196 | 196 | echo " |
197 | 197 | <p> |
198 | 198 | Runtimes of completed jobs, normalized to an average (4.3 GFLOPS) computer. |
@@ -251,7 +251,7 @@ discard block |
||
251 | 251 | } |
252 | 252 | } |
253 | 253 | arsort($x); |
254 | - page_head("Batch $batch->id: completed jobs grouped by host"); |
|
254 | + page_head("batch $batch->id: completed jobs grouped by host"); |
|
255 | 255 | text_start(); |
256 | 256 | start_table(); |
257 | 257 | table_header('Host', 'OS', '# jobs'); |