Revision d78d765c trunk/Pithos.Core/Agents/StatusAgent.cs

b/trunk/Pithos.Core/Agents/StatusAgent.cs
107 107

  
108 108
        private static void MigrateOldDb(string dbPath, string appDataPath)
109 109
        {
110
            Contract.Requires(!String.IsNullOrWhiteSpace(dbPath));
111
            Contract.Requires(!String.IsNullOrWhiteSpace(appDataPath));
112

  
110
            if(String.IsNullOrWhiteSpace(dbPath))
111
                throw new ArgumentNullException("dbPath");
112
            if(String.IsNullOrWhiteSpace(appDataPath))
113
                throw new ArgumentNullException("appDataPath");
114
            Contract.EndContractBlock();
113 115

  
114 116
            var oldDbPath = Path.Combine(appDataPath, "Pithos", "pithos.db");
115 117
            var oldDbInfo = new FileInfo(oldDbPath);

Also available in: Unified diff