Changeset 37419
- Timestamp:
- 2023-03-07T11:07:33+13:00 (2 weeks ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/collection/CollectionManager.java
r37329 r37419 874 874 try { 875 875 Document default_lockfile = XMLTools.parseXMLFile("xml/" + LOCK_FILE, true); 876 876 877 String user_name = System.getProperty("user.name"); 878 879 if (Gatherer.isWebswing) { 880 // More helpful to update this to be the username that 881 // is ogged into GS3 to edit the collection 882 user_name = Gatherer.webswingAuthenticator.getUsername(); 883 } 884 877 885 Element person_element = (Element) XMLTools.getNodeFromNamed(default_lockfile.getDocumentElement(), "User"); 878 886 person_element.appendChild(default_lockfile.createTextNode(user_name)); 879 887 person_element = null; 880 888 user_name = null; 889 881 890 String machine_name = Utility.getMachineName(); 882 891 Element machine_element = (Element) XMLTools.getNodeFromNamed(default_lockfile.getDocumentElement(), "Machine"); … … 884 893 machine_element = null; 885 894 machine_name = null; 895 886 896 String date_time = Utility.getDateString(); 887 897 Element date_element = (Element) XMLTools.getNodeFromNamed(default_lockfile.getDocumentElement(), "Date"); … … 889 899 date_element = null; 890 900 date_time = null; 901 891 902 XMLTools.writeXMLFile(lock_file, default_lockfile); 892 903 }
Note:
See TracChangeset
for help on using the changeset viewer.