← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to userdb/users.sql

  • Committer: mattgiuca
  • Date: 2008-07-27 13:05:13 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:957
conf/apps.py: Removed the "home" app from tabs.
    - Files is now the default app, re a discussion with other developers.
      Files + tabs now has all the capabilities that Home would have had.
    - Rearranged so the "useful" tabs (files,console,worksheets) are on the
      left.
Note: Home isn't removed entirely (just in case this doesn't work out); it's
just not available from the tabs.

Show diffs side-by-side

added added

removed removed

Lines of Context:
userdb/users.sql
97
97
        oid INTEGER;
98
98
    BEGIN
99
99
        SELECT offeringid INTO oid FROM project_set WHERE project_set.projectsetid = NEW.projectsetid;
100
 
        PERFORM 1 FROM project_group, project_set WHERE project_set.offeringid = oid AND project_group.projectsetid = project_set.projectsetid AND project_group.groupnm = NEW.groupnm;
 
100
        PERFORM 1 FROM project_group, project_set WHERE project_group.projectsetid = project_set.projectsetid AND project_group.groupnm = NEW.groupnm;
101
101
        IF found THEN
102
102
            RAISE EXCEPTION ''a project group named % already exists in offering ID %'', NEW.groupnm, oid;
103
103
        END IF;
245
245
    date        TIMESTAMP NOT NULL,
246
246
    attempt     VARCHAR NOT NULL,
247
247
    complete    BOOLEAN NOT NULL,
248
 
    active      BOOLEAN NOT NULL DEFAULT true,
249
248
    PRIMARY KEY (problemid,loginid,date)
250
249
);
251
250