| File inc/user/repo-page.php changed (mode: 100644) (index 2e9c727..323f3e7) |
| ... |
... |
if (strcmp($_subop, "history") == 0) { |
| 235 |
235 |
else |
else |
| 236 |
236 |
$commit = rg_git_reference($paras[0]); |
$commit = rg_git_reference($paras[0]); |
| 237 |
237 |
if ($commit === FALSE) { |
if ($commit === FALSE) { |
| 238 |
|
rg_internal_error("Invalid commit" |
|
|
238 |
|
rg_log("Invalid commit" |
| 239 |
239 |
. " [" . $paras[0] . "]." |
. " [" . $paras[0] . "]." |
| 240 |
240 |
. " Make it empty."); |
. " Make it empty."); |
| 241 |
241 |
// TODO: give an error on the page?! |
// TODO: give an error on the page?! |
| 242 |
|
$commit = ""; |
|
|
242 |
|
$commit = ''; |
| 243 |
243 |
} |
} |
| 244 |
244 |
rg_log("Show diff for commit [$commit]"); |
rg_log("Show diff for commit [$commit]"); |
| 245 |
245 |
|
|