Changeset 1012
- Timestamp:
- 07/31/08 06:09:36 (1 month ago)
- Files:
-
- trunk/chrome/content/dta/manager.js (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/chrome/content/dta/manager.js
r1009 r1012 112 112 de.removeAttribute('offline'); 113 113 } 114 Tree. invalidate();114 Tree.box.invalidate(); 115 115 }, 116 116 _wasRunning: false, … … 717 717 case 'content-length': 718 718 let contentLength = new Number(aValue); 719 Debug.logString(contentLength); 719 720 if (contentLength > 0 && !isNaN(contentLength)) { 720 721 this.ccontentLength = Math.floor(contentLength); … … 724 725 case 'content-range': { 725 726 let contentLength = new Number(aValue.split('/').pop()); 726 if (contentLength > 0 ) {727 if (contentLength > 0 && !isNaN(contentLength)) { 727 728 this.contentLength = Math.floor(contentLength); 728 729 } … … 1090 1091 get totalSize() { return this._totalSize; }, 1091 1092 set totalSize(nv) { 1093 Debug.logString(nv + "/" + this._totalSize); 1092 1094 if (this._totalSize == nv) { 1093 1095 return nv;
