Changeset 666
- Timestamp:
- 02/18/08 09:21:47 (10 months ago)
- Files:
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
branches/config-service/src/chrome/chromeFiles/content/config.js
r665 r666 307 307 this._changed(script, "uninstall", null); 308 308 309 if (script._basedir) // if script has its own dir, remove the dir + contents 309 // watch out for cases like basedir="." and basedir="../gm_scripts" 310 if (!script._basedirFile.equals(this._scriptDir)) 311 // if script has its own dir, remove the dir + contents 310 312 script._basedirFile.remove(true); 311 else // if script is in the root, just remove the file 313 else 314 // if script is in the root, just remove the file 312 315 script._file.remove(false); 313 316
