- }
- elseif (!isset($options['revision'])
- OR $options['revision']!=$infos['revision']){
- $command = "git checkout ".escapeshellarg($branche);
- teleporter_git_exec($dest,$command);
- $command = "git pull --all";
- teleporter_git_exec($dest,$command);
-
- if (isset($options['revision'])){
- $command = "git checkout ".escapeshellarg($options['revision']);
- teleporter_git_exec($dest,$command);
- }
- else {
- $command = "git checkout ".escapeshellarg($branche);
- teleporter_git_exec($dest,$command);
+ } elseif (!isset($options['revision'])
+ or $options['revision'] != $infos['revision']
+ ) {
+ $command = _GIT_COMMAND . " checkout " . escapeshellarg($branche);
+ teleporter_git_exec($dest, $command);
+ $command = _GIT_COMMAND . " pull --all";
+ teleporter_git_exec($dest, $command);
+
+ if (isset($options['revision'])) {
+ $command = _GIT_COMMAND . " checkout " . escapeshellarg($options['revision']);
+ teleporter_git_exec($dest, $command);
+ } else {
+ $command = _GIT_COMMAND . " checkout " . escapeshellarg($branche);
+ teleporter_git_exec($dest, $command);