[Ur] Fatal initialization error: Table 'uw_chatroom_room_subscriber' does not exist.

[Sean Chalmers]

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 <
stefanscottalexx at gmail.com> 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
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150516/50983e52/attachment.html>