Rename subscription to peer (#212)

* Rename subscription to peer

* Rename subscribed to downloading

* Rename publishing to uploading

* Rename subcription to peer in frontend
This commit is contained in:
Jonathan Zernik 2020-08-03 04:20:05 -07:00 committed by GitHub
parent 8767573aef
commit 2486a05d60
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
26 changed files with 473 additions and 473 deletions

View file

@ -33,12 +33,12 @@ CREATE TABLE IF NOT EXISTS profile (
whitelisted BOOLEAN NOT NULL
);
CREATE TABLE IF NOT EXISTS subscription (
subscription_id SERIAL PRIMARY KEY,
CREATE TABLE IF NOT EXISTS peer (
peer_id SERIAL PRIMARY KEY,
created TIMESTAMP NOT NULL DEFAULT CURRENT_TIMESTAMP,
subscription_name VARCHAR(64),
peer_name VARCHAR(64),
server_host VARCHAR(256) NOT NULL,
server_port INTEGER NOT NULL,
publishing BOOLEAN NOT NULL,
subscribed BOOLEAN NOT NULL
uploading BOOLEAN NOT NULL,
downloading BOOLEAN NOT NULL
);