From b9fcbe3dc86323a4a64b419c589a1cc5eeb38749 Mon Sep 17 00:00:00 2001
From: Adam Chlipala Alias /demo/ "DIR/demo/out/"
-ProxyPass /Demo/ http://localhost:8080/
-ProxyPassReverse /Demo/ http://localhost:8080/
Building the demo also generates a demo.sql file, giving the SQL commands to run to define all of the tables and sequences that the applications expect to see. The file demo.urp contains a database line with the PostgreSQL database that the demo web server will try to connect to.
-- cgit v1.2.3