| 1 |
<?php |
<?php |
| 2 |
// $Id:$ |
// $Id: api.drush.inc,v 1.1.2.1 2009/07/20 04:28:38 drumm Exp $ |
| 3 |
|
|
| 4 |
function api_drush_help($section) { |
function api_drush_help($section) { |
| 5 |
switch ($section) { |
switch ($section) { |
| 26 |
db_query("UPDATE {api_file} SET modified = 52"); |
db_query("UPDATE {api_file} SET modified = 52"); |
| 27 |
} |
} |
| 28 |
else { |
else { |
| 29 |
$branches = api_get_branches(); |
if (db_result(db_query("SELECT 1 FROM {api_branch} WHERE branch_name = '%s'", $branch_or_file))) { |
|
if (isset($branches[$branch_or_file])) { |
|
| 30 |
// Reparse a branch. |
// Reparse a branch. |
| 31 |
db_query("UPDATE {api_file} f INNER JOIN {api_documentation} d ON d.object_type = 'file' AND d.did = f.did SET f.modified = 52 WHERE d.branch_name = '%s'", $branch_or_file); |
db_query("UPDATE {api_file} f INNER JOIN {api_documentation} d ON d.object_type = 'file' AND d.did = f.did SET f.modified = 52 WHERE d.branch_name = '%s'", $branch_or_file); |
| 32 |
} |
} |