Fix handling of empty $uids argument in change_flag()

Aleksander Machniak

2013-03-11 5410eff830da535d63df9b3dee113f7521803a5c

1
2
3
4
CREATE TABLE "system" (
    name varchar(64) NOT NULL PRIMARY KEY,
    value text
);