Skip to content

Commit 85f7dcb

Browse files
Apply black formatting to minimal_example.py
Co-authored-by: openhands <openhands@all-hands.dev>
1 parent add480c commit 85f7dcb

File tree

2 files changed

+12
-16
lines changed

2 files changed

+12
-16
lines changed

minimal_example.py

Lines changed: 10 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -30,25 +30,21 @@
3030
f"ERROR: Missing required environment variables: {', '.join(missing_vars)}"
3131
)
3232
print("\nPlease set the following environment variables before running:")
33-
print("export SHOPPING='http://your-server:7770'")
34-
print("export SHOPPING_ADMIN='http://your-server:7780/admin'")
35-
print("export REDDIT='http://your-server:9999'")
36-
print("export GITLAB='http://your-server:8023'")
37-
print("export MAP='http://your-server:3000'")
33+
print("export SHOPPING='http://YOUR_WEBARENA_SERVER:7770'")
34+
print("export SHOPPING_ADMIN='http://YOUR_WEBARENA_SERVER:7780/admin'")
35+
print("export REDDIT='http://YOUR_WEBARENA_SERVER:9999'")
36+
print("export GITLAB='http://YOUR_WEBARENA_SERVER:8023'")
37+
print("export MAP='http://YOUR_WEBARENA_SERVER:3000'")
3838
print(
39-
"export WIKIPEDIA='http://your-server:8888/wikipedia_en_all_maxi_2022-05/A/User:The_other_Kiwix_guy/Landing'"
39+
"export WIKIPEDIA='http://YOUR_WEBARENA_SERVER:8888/wikipedia_en_all_maxi_2022-05/A/User:The_other_Kiwix_guy/Landing'"
4040
)
4141
print("export HOMEPAGE='PASS'")
42-
print("\nFor the current demo server, you can use:")
43-
print("export SHOPPING='http://18.208.187.221:7770'")
44-
print("export SHOPPING_ADMIN='http://18.208.187.221:7780/admin'")
45-
print("export REDDIT='http://18.208.187.221:9999'")
46-
print("export GITLAB='http://18.208.187.221:8023'")
47-
print("export MAP='http://18.208.187.221:3000'")
4842
print(
49-
"export WIKIPEDIA='http://18.208.187.221:8888/wikipedia_en_all_maxi_2022-05/A/User:The_other_Kiwix_guy/Landing'"
43+
"\nReplace YOUR_WEBARENA_SERVER with your WebArena server's IP address."
44+
)
45+
print(
46+
"Note: 18.208.187.221 is the map backend server, not the WebArena frontend server."
5047
)
51-
print("export HOMEPAGE='PASS'")
5248
exit(1)
5349

5450
print("Environment variables are properly configured")

setup_env.sh

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,14 +7,14 @@
77
# source setup_env.sh <your-server-hostname-or-ip>
88
#
99
# Example:
10-
# source setup_env.sh 18.208.187.221
10+
# source setup_env.sh YOUR_WEBARENA_SERVER
1111
# source setup_env.sh ec2-xx-xx-xx-xx.us-east-2.compute.amazonaws.com
1212

1313
if [ $# -eq 0 ]; then
1414
echo "Usage: source setup_env.sh <your-server-hostname-or-ip>"
1515
echo ""
1616
echo "Example:"
17-
echo " source setup_env.sh 18.208.187.221"
17+
echo " source setup_env.sh YOUR_SERVER_IP"
1818
echo " source setup_env.sh ec2-xx-xx-xx-xx.us-east-2.compute.amazonaws.com"
1919
return 1
2020
fi

0 commit comments

Comments
 (0)