Revision 7dbaeb04
| ID | 7dbaeb04793931f2794f3d805cb508ab139be9ed |
Initializing the policy store the very first time
If the DB is empty, then we insert the default policy, as given in the
policy.json file.
Files
- added
- modified
- copied
- renamed
- deleted
| ID | 7dbaeb04793931f2794f3d805cb508ab139be9ed |
Added by Christos KK Loverdos almost 12 years ago
Initializing the policy store the very first time
If the DB is empty, then we insert the default policy, as given in the
policy.json file.