| changeset 83 | 515fadd3d286 |
| parent 33 | bd0beda49bcb |
| child 93 | b72591087495 |
| 82:7b82dc1fb6f5 | 83:515fadd3d286 |
|---|---|
1 #!/usr/bin/env python3.2 |
1 #!/usr/bin/env python3.2 |
2 |
2 |
3 import time |
3 import time |
4 |
4 |
5 from pgtoolkit import toolbase |
5 from pgtoolkit import toolbase |
6 from pgtoolkit.highlight import highlight |
|
7 from pgtoolkit.pgmanager import OperationalError |
6 from pgtoolkit.pgmanager import OperationalError |
8 |
7 |
9 |
8 |
10 class BatchUpdateTool(toolbase.SimpleTool): |
9 class BatchUpdateTool(toolbase.SimpleTool): |
11 def __init__(self): |
10 def __init__(self): |