<div dir="ltr">Greetings,<br><br>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. <div><br></div><div>Regrettably I cannot shed any light on the issue you're having as it builds and runs fine for me :/<div><br></div><div>Yay people using my code, even if it's just to try to debug things. :P</div><div><br></div><div>Cheers,</div><div><br></div><div>Sean</div></div></div><br><div class="gmail_quote">On Sat, 16 May 2015 at 16:39 Stefan Scott Alexander <<a href="mailto:stefanscottalexx@gmail.com">stefanscottalexx@gmail.com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div><div><div><span style="font-family:monospace,monospace">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.<br><br></span></div><span style="font-family:monospace,monospace">This is a very recent github repository (from one month ago), so it is unclear if it was using release </span><span style="font-family:monospace,monospace">20150412 of Ur/Web when it was tested by its original developer.<br></span></div><span style="font-family:monospace,monospace"><br></span></div><span style="font-family:monospace,monospace">However, when I tested it, I did use </span><span style="font-family:monospace,monospace">release 20150412 of Ur/Web.<br><br></span></div><span style="font-family:monospace,monospace">Transcript follows:<br></span><div><div><div><div><div><span style="font-family:monospace,monospace"><br>admin:~/wrk$ mkdir ur_chat<br><br>admin:~/wrk$ cd ur_chat<br><br>admin:~/wrk/ur_chat$ wget <a href="https://github.com/mankyKitty/ur_chatroom/archive/master.zip" target="_blank">https://github.com/mankyKitty/ur_chatroom/archive/master.zip</a><br><br>admin:~/wrk/ur_chat$ ls -l<br>total 8<br>-rw-r--r-- 1 admin admin 4109 May 16 06:16 master.zip<br><br>admin:~/wrk/ur_chat$ unzip master.zip<br> <br>admin:~/wrk/ur_chat$ ls -l<br>total 12<br>-rw-r--r-- 1 admin admin 4109 May 16 06:16 master.zip<br>drwxr-xr-x 3 admin admin 4096 Apr 6 03:45 ur_chatroom-master<br><br>admin:~/wrk/ur_chat$ mv ur_chatroom-master ur_chatroom<br><br>admin:~/wrk/ur_chat$ ls -l<br>total 12<br>-rw-r--r-- 1 admin admin 4109 May 16 06:16 master.zip<br>drwxr-xr-x 3 admin admin 4096 Apr 6 03:45 ur_chatroom<br><br>admin:~/wrk/ur_chat$ cd ur_chatroom<br><br>admin:~/wrk/ur_chat/ur_chatroom$ ls -l<br>total 28<br>-rw-r--r-- 1 admin admin 2441 Apr 6 03:45 chatroom.ur<br>-rw-r--r-- 1 admin admin 86 Apr 6 03:45 chatroom.urp<br>-rw-r--r-- 1 admin admin 36 Apr 6 03:45 chatroom.urs<br>-rw-r--r-- 1 admin admin 1001 Apr 6 03:45 log.ur<br>-rw-r--r-- 1 admin admin 102 Apr 6 03:45 log.urs<br>drwxr-xr-x 2 admin admin 4096 Apr 6 03:45 Misc<br>-rw-r--r-- 1 admin admin 457 Apr 6 03:45 README.md<br><br>admin:~/wrk/ur_chat/ur_chatroom$ cat chatroom.urp<br>database dbname=chatroom<br>sql chat.sql<br>safeGet Chatroom/Room/chat<br><br>$/list<br>log<br>chatroom<br><br>######################<br># change user to postgres<br><br>admin:~$ sudo -i<br>root:~# su - postgres<br>postgres:~$ createdb chatroom<br>postgres:~$ psql<br>psql (9.4.1)<br>Type "help" for help.<br><br>postgres=# grant all on database chatroom to admin;<br>GRANT<br><br>postgres=# \l<br><br> Name | Owner | Encoding | Collate | Ctype | Access privileges<br>-----------+----------+----------+-------------+-------------+-----------------------<br> chatroom | postgres | UTF8 | en_US.UTF-8 | en_US.UTF-8 | =Tc/postgres +<br> | | | | | postgres=CTc/postgres+<br> | | | | | admin=CTc/postgres<br> crud1 | postgres | UTF8 | en_US.UTF-8 | en_US.UTF-8 | =CTc/postgres +<br> | | | | | postgres=CTc/postgres+<br> | | | | | admin=CTc/postgres<br> postgres | postgres | UTF8 | en_US.UTF-8 | en_US.UTF-8 |<br> template0 | postgres | UTF8 | en_US.UTF-8 | en_US.UTF-8 | =c/postgres +<br> | | | | | postgres=CTc/postgres<br> template1 | postgres | UTF8 | en_US.UTF-8 | en_US.UTF-8 | =c/postgres +<br> | | | | | postgres=CTc/postgres<br> test | postgres | UTF8 | en_US.UTF-8 | en_US.UTF-8 | =Tc/postgres +<br> | | | | | postgres=CTc/postgres+<br> | | | | | admin=CTc/postgres<br> urboard | postgres | UTF8 | en_US.UTF-8 | en_US.UTF-8 | =CTc/postgres +<br> | | | | | postgres=CTc/postgres+<br> | | | | | admin=CTc/postgres<br>(7 rows)<br><br>postgres=# \q<br><br>postgres:~$ psql -f /home/admin/wrk/ur_chat/ur_chatroom/chat.sql chatroom<br>CREATE TABLE<br>CREATE TABLE<br>CREATE TABLE<br><br>##################<br># change user back to admin<br><br>postgres:~$ exit<br>logout<br><br>root:~# exit<br>logout<br><br>admin:~$<br><br>admin:~/wrk/ur_chat/ur_chatroom$ urweb -dbms postgres -db "host=localhost port=5432 user=admin password=pgasdfASDF123 dbname=chatroom" chatroom<br><br>admin:~/wrk/ur_chat/ur_chatroom$ ls -l<br>total 128<br>-rwxr-xr-x 1 admin admin 96696 May 16 06:18 chatroom.exe<br>-rw-r--r-- 1 admin admin 2441 Apr 6 03:45 chatroom.ur<br>-rw-r--r-- 1 admin admin 86 Apr 6 03:45 chatroom.urp<br>-rw-r--r-- 1 admin admin 36 Apr 6 03:45 chatroom.urs<br>-rw-r--r-- 1 admin admin 435 May 16 06:18 chat.sql<br>-rw-r--r-- 1 admin admin 1001 Apr 6 03:45 log.ur<br>-rw-r--r-- 1 admin admin 102 Apr 6 03:45 log.urs<br>drwxr-xr-x 2 admin admin 4096 Apr 6 03:45 Misc<br>-rw-r--r-- 1 admin admin 457 Apr 6 03:45 README.md<br><br>admin:~/wrk/ur_chat/ur_chatroom$ ./chatroom.exe<br>Fatal initialization error: Table 'uw_chatroom_room_subscriber' does not exist.<br><br>admin:~/wrk/ur_chat/ur_chatroom$<br><br>###<br><br></span></div></div></div></div></div></div>
_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</blockquote></div>