git://git.onelab.eu
/
plcapi.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
c93e314
)
support CREATE OR REPLACE
author
Mark Huang
<mlhuang@cs.princeton.edu>
Tue, 30 Jan 2007 23:08:16 +0000
(23:08 +0000)
committer
Mark Huang
<mlhuang@cs.princeton.edu>
Tue, 30 Jan 2007 23:08:16 +0000
(23:08 +0000)
tools/dzombie.py
patch
|
blob
|
history
diff --git
a/tools/dzombie.py
b/tools/dzombie.py
index
02a01bc
..
e3c170a
100755
(executable)
--- a/
tools/dzombie.py
+++ b/
tools/dzombie.py
@@
-37,8
+37,11
@@
try:
line = lines[index].strip()
# find all created objects
if line.startswith("CREATE"):
- item_type = line.split(" ")[1].strip()
- item_name = line.split(" ")[2].strip()
+ line_parts = line.split(" ")
+ if line_parts[1:3] == ['OR', 'REPLACE']:
+ line_parts = line_parts[2:]
+ item_type = line_parts[1].strip()
+ item_name = line_parts[2].strip()
if item_type.upper() in ['TABLE']:
while index < len(lines):
index = index + 1