Arnav Mehta commited on
Commit
d646f8f
·
unverified ·
2 Parent(s): 00ede305c2564b

Merge pull request #1 from arshimehta1/sync-hf-fixes

Browse files
Files changed (2) hide show
  1. .gitignore +30 -0
  2. server/app.py +7 -1
.gitignore ADDED
@@ -0,0 +1,30 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ # Python
2
+ __pycache__/
3
+ *.py[cod]
4
+ *.pyo
5
+ *.pyd
6
+ .Python
7
+ *.egg-info/
8
+ dist/
9
+ build/
10
+
11
+ # Virtual environments
12
+ .venv/
13
+ venv/
14
+ env/
15
+
16
+ # Temp / scratch
17
+ .tmp/
18
+ tmp/
19
+
20
+ # Output / artifacts
21
+ output/
22
+
23
+ # Editor
24
+ .DS_Store
25
+ .idea/
26
+ .vscode/
27
+
28
+ # Logs
29
+ *.log
30
+ uvicorn-*.log
server/app.py CHANGED
@@ -5,7 +5,7 @@ from __future__ import annotations
5
  from textwrap import dedent
6
 
7
  import uvicorn
8
- from fastapi.responses import HTMLResponse, JSONResponse, PlainTextResponse, RedirectResponse
9
  from openenv.core.env_server.http_server import create_fastapi_app
10
 
11
  try:
@@ -346,6 +346,7 @@ WEB_PAGE = dedent(
346
  <meta charset="utf-8">
347
  <meta name="viewport" content="width=device-width, initial-scale=1">
348
  <title>Engineer Manager</title>
 
349
  <link rel="stylesheet" href="/assets/app.css">
350
  </head>
351
  <body>
@@ -432,6 +433,11 @@ def web_js() -> PlainTextResponse:
432
  return PlainTextResponse(WEB_JS, media_type="application/javascript")
433
 
434
 
 
 
 
 
 
435
  @app.get("/manifest.json", include_in_schema=False)
436
  def manifest() -> JSONResponse:
437
  return JSONResponse(
 
5
  from textwrap import dedent
6
 
7
  import uvicorn
8
+ from fastapi.responses import HTMLResponse, JSONResponse, PlainTextResponse, RedirectResponse, Response
9
  from openenv.core.env_server.http_server import create_fastapi_app
10
 
11
  try:
 
346
  <meta charset="utf-8">
347
  <meta name="viewport" content="width=device-width, initial-scale=1">
348
  <title>Engineer Manager</title>
349
+ <link rel="icon" href="/favicon.ico" sizes="any">
350
  <link rel="stylesheet" href="/assets/app.css">
351
  </head>
352
  <body>
 
433
  return PlainTextResponse(WEB_JS, media_type="application/javascript")
434
 
435
 
436
+ @app.get("/favicon.ico", include_in_schema=False)
437
+ def favicon() -> Response:
438
+ return Response(status_code=204)
439
+
440
+
441
  @app.get("/manifest.json", include_in_schema=False)
442
  def manifest() -> JSONResponse:
443
  return JSONResponse(