| 1 |
<?php |
<?php |
| 2 |
// $Id: api.drush.inc,v 1.1.2.1 2009/07/20 04:28:38 drumm Exp $ |
// $Id: api.drush.inc,v 1.1.2.2 2009/10/15 05:52:59 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 |
if (db_result(db_query("SELECT 1 FROM {api_branch} WHERE branch_name = '%s'", $branch_or_file))) { |
$branch_id = db_result(db_query("SELECT branch_id FROM {api_branch} WHERE branch_name = '%s'", $branch_or_file)); |
| 30 |
|
if (!empty($branch_id)) { |
| 31 |
// Reparse a branch. |
// Reparse a branch. |
| 32 |
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_id = %d", $branch_id); |
| 33 |
} |
} |
| 34 |
else { |
else { |
| 35 |
// Reparse a file. |
// Reparse a file. |