Skip to content
Merged
Show file tree
Hide file tree
Changes from 6 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 0 additions & 2 deletions frameworks/Ur/urweb/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,5 +19,3 @@ To compile a standalone executable running on port 8080, run `urweb bench`. See
`bench.ur` is the main source file. `bench.urs` is the signature file describing the module's exported functions. `bench.urp` is the project file giving compilation directives.

`benchmark_config.json` includes metadata for the framework comparison.

`__init__.py` and `setup.py` are for starting and stopping the Ur/Web server. `setup_mysql.py` is a variant using MySQL instead of PostgreSQL.
2 changes: 1 addition & 1 deletion frameworks/Ur/urweb/urweb-cache.dockerfile
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
FROM ubuntu:23.10
FROM ubuntu:24.10

ADD ./ /urweb
WORKDIR /urweb
Expand Down
2 changes: 1 addition & 1 deletion frameworks/Ur/urweb/urweb-mysql-cache.dockerfile
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
FROM ubuntu:23.10
FROM ubuntu:24.10

ADD ./ /urweb
WORKDIR /urweb
Expand Down
2 changes: 1 addition & 1 deletion frameworks/Ur/urweb/urweb-mysql.dockerfile
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
FROM ubuntu:23.10
FROM ubuntu:24.10

ADD ./ /urweb
WORKDIR /urweb
Expand Down
2 changes: 1 addition & 1 deletion frameworks/Ur/urweb/urweb.dockerfile
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
FROM ubuntu:23.10
FROM ubuntu:24.10

ADD ./ /urweb
WORKDIR /urweb
Expand Down
Loading