| @@ 30-37 (lines=8) @@ | ||
| 27 | break; |
|
| 28 | ||
| 29 | // php install.php -a application |
|
| 30 | case '-a': |
|
| 31 | if (is_dir($argv[$i+1])) { |
|
| 32 | $app_dir = $argv[$i+1]; |
|
| 33 | } else { |
|
| 34 | throw new Exception('No such directory: ' . $argv[$i+1]); |
|
| 35 | } |
|
| 36 | $i++; |
|
| 37 | break; |
|
| 38 | ||
| 39 | // php install.php -p public |
|
| 40 | case '-p': |
|
| @@ 40-47 (lines=8) @@ | ||
| 37 | break; |
|
| 38 | ||
| 39 | // php install.php -p public |
|
| 40 | case '-p': |
|
| 41 | if (is_dir($argv[$i+1])) { |
|
| 42 | $pub_dir = $argv[$i+1]; |
|
| 43 | } else { |
|
| 44 | throw new Exception('No such directory: ' . $argv[$i+1]); |
|
| 45 | } |
|
| 46 | $i++; |
|
| 47 | break; |
|
| 48 | ||
| 49 | default: |
|
| 50 | throw new Exception('Unknown argument: ' . $argv[$i]); |
|