Skip to content

Commit 3775e8d

Browse files
committed
improve quick run example script
1 parent 111bda3 commit 3775e8d

1 file changed

Lines changed: 11 additions & 1 deletion

File tree

scripts/run_doc_example.py

Lines changed: 11 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,10 +13,16 @@
1313
continue
1414

1515

16-
if __name__ == "__main__":
16+
def main():
1717
ex_name = sys.argv[1]
1818
example_file = examples_dir / (ex_name + ".py")
1919

20+
if not example_file.exists():
21+
print(f"No example {ex_name!r} exists. Choose from:")
22+
for found_example_file in examples_dir.glob("*.py"):
23+
print("-", found_example_file.stem)
24+
return
25+
2026
mount, element = hotswap()
2127
server = PerClientStateServer(element)
2228

@@ -31,3 +37,7 @@
3137
)
3238

3339
server.run("127.0.0.1", 5000)
40+
41+
42+
if __name__ == "__main__":
43+
main()

0 commit comments

Comments
 (0)