fix build in docker

build-in-docker.conf

@@ -5,8 +5,8 @@ if test -n "${ANDROID_HOME}"; then
     packages+=("wheezy:::curl:::npm")
     packages+=("amd64:::libc6-i386 lib32stdc++6 lib32gcc1 lib32ncurses5 lib32z1")
     packages+=("git nodejs default-jdk")
-    repos+=("Ubuntu-precise:::'deb http://archive.ubuntu.com precise universe'")
     repos+=("Debian|Ubuntu-precise::::::universe")
+    repos+=("Ubuntu-precise:::'deb http://archive.ubuntu.com/ubuntu precise universe'")
     repos+=("wheezy:::'deb http://ftp.is.debian.org/debian wheezy-backports main'")
     commands+=("update-alternatives --install /usr/bin/node nodejs /usr/bin/nodejs 100")
     commands+=("wheezy:::curl https://www.npmjs.com/install.sh | sh")

html/schema.sql

@@ -3,6 +3,7 @@ CREATE TABLE IF NOT EXISTS `user` (
   `pubkey` text NOT NULL COMMENT 'armored gnupg public key of the user',
   PRIMARY KEY (`name`)
 ) ENGINE=InnoDB DEFAULT CHARSET=utf8 COMMENT='list of all registered users and their public keys';
+
 create table if not exists `message` (
         `id`
           int not null auto_increment
@@ -23,6 +24,8 @@ create table if not exists `message` (
           on update cascade
       ) character set utf8 engine=innodb
         comment="table to hold all messages for later download by the receiver";
+
+/* table to sore arbitrary options */
 create table if not exists options (
        name varchar(50) not null unique comment "option name",
        value text not null comment "option value",