File tree Expand file tree Collapse file tree 1 file changed +4
-3
lines changed
TestVectors/runtimes/python/src/aws_dbesdk_dynamodb_test_vectors Expand file tree Collapse file tree 1 file changed +4
-3
lines changed Original file line number Diff line number Diff line change 1
1
import boto3
2
2
3
- class WaitingDynamoClient :
3
+ class WaitingLocalDynamoClient :
4
4
"""
5
- boto3 DynamoDB client wrapper that wraps `create_table` and `delete_table` methods.
5
+ boto3 DynamoDB client wrapper that wraps `create_table` and `delete_table` methods
6
+ and connects to localhost:8000.
6
7
If these methods are called on this client, they will block returning until
7
8
the table is created/deleted.
8
9
This is the expected behavior of SDK clients in our Dafny code.
9
10
All other methods besides these are unchanged and will call the boto3 client directly.
10
11
"""
11
12
def __init__ (self ):
12
- self ._client = boto3 .client ("dynamodb" )
13
+ self ._client = boto3 .client ("dynamodb" , endpoint_url = "http://localhost:8000" )
13
14
14
15
def __getattr__ (self , name ):
15
16
if hasattr (self ._client , name ):
You can’t perform that action at this time.
0 commit comments