Update server.py

server.py

@@ -29,7 +29,7 @@ class Decl:
 def parse_exported_file():
     decls = []
     print('Reading exported.txt')
-    lines = open('exported.txt', 'r').read() # 1000000)
+    lines = open('exported.txt', 'r').read(1000000)
     print('Splitting exported.txt')
     lines = lines.split('----ast----\n')[1:]
     print('Parsing exported.txt')
@@ -47,6 +47,6 @@ decls = parse_exported_file()
 @app.get("/search")
 async def search(query: str = Query(...)):
     matched = [decl for decl in decls if query in decl.name]
-    matched = sorted(matched, key=lambda decl: decl.name)
+    matched = sorted(matched, key=lambda decl: decl.name)[:10]
     matched_results = [asdict(decl) for decl in matched]
     return JSONResponse(content=matched_results)