Skip to content

Commit 41d61a3

Browse files
committed
Merge pull request kbjr#6 from uuf6429/master
Bug fixes
2 parents b06203d + 7e95f85 commit 41d61a3

File tree

2 files changed

+8
-8
lines changed

2 files changed

+8
-8
lines changed

CI_Git.php

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -104,7 +104,7 @@ class GitRepo {
104104
*/
105105
public static function &create_new($repo_path, $source = null) {
106106
if (is_dir($repo_path) && file_exists($repo_path."/.git") && is_dir($repo_path."/.git")) {
107-
throw new Exception('"$repo_path" is already a git repository');
107+
throw new Exception('"'.$repo_path.'" is already a git repository');
108108
} else {
109109
$repo = new self($repo_path, true, false);
110110
if (is_string($source))
@@ -151,11 +151,11 @@ public function set_repo_path($repo_path, $create_new = false, $_init = true) {
151151
$this->repo_path = $repo_path;
152152
if ($_init) $this->run('init');
153153
} else {
154-
throw new Exception('"$repo_path" is not a git repository');
154+
throw new Exception('"'.$repo_path.'" is not a git repository');
155155
}
156156
}
157157
} else {
158-
throw new Exception('"$repo_path" is not a directory');
158+
throw new Exception('"'.$repo_path.'" is not a directory');
159159
}
160160
} else {
161161
if ($create_new) {
@@ -167,7 +167,7 @@ public function set_repo_path($repo_path, $create_new = false, $_init = true) {
167167
throw new Exception('cannot create repository in non-existent directory');
168168
}
169169
} else {
170-
throw new Exception('"$repo_path" does not exist');
170+
throw new Exception('"'.$repo_path.'" does not exist');
171171
}
172172
}
173173
}

Git.php

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -97,7 +97,7 @@ class GitRepo {
9797
*/
9898
public static function &create_new($repo_path, $source = null) {
9999
if (is_dir($repo_path) && file_exists($repo_path."/.git") && is_dir($repo_path."/.git")) {
100-
throw new Exception('"$repo_path" is already a git repository');
100+
throw new Exception('"'.$repo_path.'" is already a git repository');
101101
} else {
102102
$repo = new self($repo_path, true, false);
103103
if (is_string($source))
@@ -144,11 +144,11 @@ public function set_repo_path($repo_path, $create_new = false, $_init = true) {
144144
$this->repo_path = $repo_path;
145145
if ($_init) $this->run('init');
146146
} else {
147-
throw new Exception('"$repo_path" is not a git repository');
147+
throw new Exception('"'.$repo_path.'" is not a git repository');
148148
}
149149
}
150150
} else {
151-
throw new Exception('"$repo_path" is not a directory');
151+
throw new Exception('"'.$repo_path.'" is not a directory');
152152
}
153153
} else {
154154
if ($create_new) {
@@ -160,7 +160,7 @@ public function set_repo_path($repo_path, $create_new = false, $_init = true) {
160160
throw new Exception('cannot create repository in non-existent directory');
161161
}
162162
} else {
163-
throw new Exception('"$repo_path" does not exist');
163+
throw new Exception('"'.$repo_path.'" does not exist');
164164
}
165165
}
166166
}

0 commit comments

Comments
 (0)