Browse Source

tools/inc/lib/jsgettext/: apply fixes from bugtracker

pull/40/head
czaks 11 years ago
committed by Michael Foster
parent
commit
79b6428718
  1. 8
      tools/inc/lib/jsgettext/jsgettext.php

8
tools/inc/lib/jsgettext/jsgettext.php

@ -10,7 +10,7 @@
'-k' => '_'
);
$len = count($args);
$i = 0;
$i = 1;
while ($i < $len) {
if (preg_match('#^-[a-z]$#i', $args[$i])) {
$options[$args[$i]] = isset($args[$i+1]) ? trim($args[$i+1]) : true;
@ -26,7 +26,11 @@
$options = buildOptions($argv);
if (!file_exists($options['-o']) || !is_writable($options['-o'])) {
if (!file_exists($options['-o'])) {
touch($options['-o']);
}
if (!is_writable($options['-o'])) {
die("Invalid output file name. Make sure it exists and is writable.");
}

Loading…
Cancel
Save