Greetings, I wrote the chatroom app using Adams POPL paper for 2015 and compiled it using "The Ur/Web compiler, version 20150214" and running postgres 9.3.. I think. Could be 9.4.1, my dev box is a little bit of a mess at the moment.
Regrettably I cannot shed any light on the issue you're having as it builds and runs fine for me :/ Yay people using my code, even if it's just to try to debug things. :P Cheers, Sean On Sat, 16 May 2015 at 16:39 Stefan Scott Alexander < [email protected]> wrote: > I have now also tested the git repository 'mankyKitty/ur_chatroom' again > on Debian 8 Jessie (on AWS EC2, login 'admin') using Postgres 9.4.1, and > was able to reproduce the same error with release 20150412 of Ur/Web > (involving camelcase vs lowercase table names in Postgres on Linux) as > shown in the transcript below. > > This is a very recent github repository (from one month ago), so it is > unclear if it was using release 20150412 of Ur/Web when it was tested by > its original developer. > > However, when I tested it, I did use release 20150412 of Ur/Web. > > Transcript follows: > > admin:~/wrk$ mkdir ur_chat > > admin:~/wrk$ cd ur_chat > > admin:~/wrk/ur_chat$ wget > https://github.com/mankyKitty/ur_chatroom/archive/master.zip > > admin:~/wrk/ur_chat$ ls -l > total 8 > -rw-r--r-- 1 admin admin 4109 May 16 06:16 master.zip > > admin:~/wrk/ur_chat$ unzip master.zip > > admin:~/wrk/ur_chat$ ls -l > total 12 > -rw-r--r-- 1 admin admin 4109 May 16 06:16 master.zip > drwxr-xr-x 3 admin admin 4096 Apr 6 03:45 ur_chatroom-master > > admin:~/wrk/ur_chat$ mv ur_chatroom-master ur_chatroom > > admin:~/wrk/ur_chat$ ls -l > total 12 > -rw-r--r-- 1 admin admin 4109 May 16 06:16 master.zip > drwxr-xr-x 3 admin admin 4096 Apr 6 03:45 ur_chatroom > > admin:~/wrk/ur_chat$ cd ur_chatroom > > admin:~/wrk/ur_chat/ur_chatroom$ ls -l > total 28 > -rw-r--r-- 1 admin admin 2441 Apr 6 03:45 chatroom.ur > -rw-r--r-- 1 admin admin 86 Apr 6 03:45 chatroom.urp > -rw-r--r-- 1 admin admin 36 Apr 6 03:45 chatroom.urs > -rw-r--r-- 1 admin admin 1001 Apr 6 03:45 log.ur > -rw-r--r-- 1 admin admin 102 Apr 6 03:45 log.urs > drwxr-xr-x 2 admin admin 4096 Apr 6 03:45 Misc > -rw-r--r-- 1 admin admin 457 Apr 6 03:45 README.md > > admin:~/wrk/ur_chat/ur_chatroom$ cat chatroom.urp > database dbname=chatroom > sql chat.sql > safeGet Chatroom/Room/chat > > $/list > log > chatroom > > ###################### > # change user to postgres > > admin:~$ sudo -i > root:~# su - postgres > postgres:~$ createdb chatroom > postgres:~$ psql > psql (9.4.1) > Type "help" for help. > > postgres=# grant all on database chatroom to admin; > GRANT > > postgres=# \l > > Name | Owner | Encoding | Collate | Ctype | Access > privileges > > -----------+----------+----------+-------------+-------------+----------------------- > chatroom | postgres | UTF8 | en_US.UTF-8 | en_US.UTF-8 | > =Tc/postgres + > | | | | | > postgres=CTc/postgres+ > | | | | | > admin=CTc/postgres > crud1 | postgres | UTF8 | en_US.UTF-8 | en_US.UTF-8 | > =CTc/postgres + > | | | | | > postgres=CTc/postgres+ > | | | | | > admin=CTc/postgres > postgres | postgres | UTF8 | en_US.UTF-8 | en_US.UTF-8 | > template0 | postgres | UTF8 | en_US.UTF-8 | en_US.UTF-8 | > =c/postgres + > | | | | | > postgres=CTc/postgres > template1 | postgres | UTF8 | en_US.UTF-8 | en_US.UTF-8 | > =c/postgres + > | | | | | > postgres=CTc/postgres > test | postgres | UTF8 | en_US.UTF-8 | en_US.UTF-8 | > =Tc/postgres + > | | | | | > postgres=CTc/postgres+ > | | | | | > admin=CTc/postgres > urboard | postgres | UTF8 | en_US.UTF-8 | en_US.UTF-8 | > =CTc/postgres + > | | | | | > postgres=CTc/postgres+ > | | | | | > admin=CTc/postgres > (7 rows) > > postgres=# \q > > postgres:~$ psql -f /home/admin/wrk/ur_chat/ur_chatroom/chat.sql chatroom > CREATE TABLE > CREATE TABLE > CREATE TABLE > > ################## > # change user back to admin > > postgres:~$ exit > logout > > root:~# exit > logout > > admin:~$ > > admin:~/wrk/ur_chat/ur_chatroom$ urweb -dbms postgres -db "host=localhost > port=5432 user=admin password=pgasdfASDF123 dbname=chatroom" chatroom > > admin:~/wrk/ur_chat/ur_chatroom$ ls -l > total 128 > -rwxr-xr-x 1 admin admin 96696 May 16 06:18 chatroom.exe > -rw-r--r-- 1 admin admin 2441 Apr 6 03:45 chatroom.ur > -rw-r--r-- 1 admin admin 86 Apr 6 03:45 chatroom.urp > -rw-r--r-- 1 admin admin 36 Apr 6 03:45 chatroom.urs > -rw-r--r-- 1 admin admin 435 May 16 06:18 chat.sql > -rw-r--r-- 1 admin admin 1001 Apr 6 03:45 log.ur > -rw-r--r-- 1 admin admin 102 Apr 6 03:45 log.urs > drwxr-xr-x 2 admin admin 4096 Apr 6 03:45 Misc > -rw-r--r-- 1 admin admin 457 Apr 6 03:45 README.md > > admin:~/wrk/ur_chat/ur_chatroom$ ./chatroom.exe > Fatal initialization error: Table 'uw_chatroom_room_subscriber' does not > exist. > > admin:~/wrk/ur_chat/ur_chatroom$ > > ### > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
