2024-11-22 00:07 AEDT
  

View Issue Details [ Jump to Notes ] [ Issue History ] [ Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000388mercuryBugpublic2015-07-10 13:502015-12-14 10:31
Reporterjuliensf 
Assigned Tojuliensf 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
Product Version 
Target Version15.11Fixed in Version 
Summary0000388: Inconsistent permissions on library jar files
DescriptionThe Java archives for the standard libraries are installed in such a way that they only user readable and writeable. Aside from not being very useful in multi-user environments, this is also inconsistent with the permissions on the library files in other grades (which are group readable and writeable and world readable.)
TagsNo tags attached.
Attached Files
  • diff file icon fix-java-jar-index.diff (1,733 bytes) 2015-07-10 14:16 - 
    diff --git a/compiler/compile_target_code.m b/compiler/compile_target_code.m
index c710fcf..ec87928 100644
--- a/compiler/compile_target_code.m
+++ b/compiler/compile_target_code.m
@@ -1708,15 +1708,19 @@ file_as_new_as(FileNameA, Rel, FileNameB, !IO) :-
 
 compare_file_timestamps(FileNameA, FileNameB, MaybeCompare, !IO) :-
     io.file_modification_time(FileNameA, TimeResultA, !IO),
-    io.file_modification_time(FileNameB, TimeResultB, !IO),
-    (
-        TimeResultA = ok(TimeA),
-        TimeResultB = ok(TimeB)
-    ->
-        compare(Compare, TimeA, TimeB),
-        MaybeCompare = yes(Compare)
-    ;
-        MaybeCompare = no
+    ( if FileNameA = FileNameB then
+        MaybeCompare = ( if TimeResultA = ok(_) then yes((=)) else no )
+    else
+        io.file_modification_time(FileNameB, TimeResultB, !IO),
+        ( if
+            TimeResultA = ok(TimeA),
+            TimeResultB = ok(TimeB)
+        then
+            compare(Compare, TimeA, TimeB),
+            MaybeCompare = yes(Compare)
+        else
+            MaybeCompare = no
+        )
     ).
 
 %-----------------------------------------------------------------------------%
@@ -3116,11 +3120,7 @@ create_java_exe_or_lib(Globals, ErrorStream, LinkTargetType, MainModuleName,
         io.remove_file(TempFileName, _, !IO),
 
         (
-            Succeeded0 = yes,
-            % Add an index, which is supposed to speed up class loading.
-            IndexCmd = string.append_list([Jar, " i ", JarFileName]),
-            invoke_system_command(Globals, ErrorStream, cmd_verbose_commands,
-                IndexCmd, _, !IO)
+            Succeeded0 = yes
         ;
             Succeeded0 = no,
             io.remove_file(JarFileName, _, !IO)
    diff file icon fix-java-jar-index.diff (1,733 bytes) 2015-07-10 14:16 +
  • log file icon fix-java-jar-index.log (986 bytes) 2015-07-10 14:16

-Relationships
+Relationships

-Notes

~0000840

juliensf (administrator)

2015-07-10 14:07

 This is occurring on a CentOS 7 system. Thing are ok on OS X system.

~0000841

sebgod (reporter)

2015-07-10 14:15

 Hello Julien. I have the same problem on Fedora as well. This is a problem introduced by Java 7+, where temporary files get only 0600 permissions.
This happens when the Mercury compiler invokes the Java index option, which is currently used in a wrong fashion any way, since the jar index only works for multiple referenced jar files, but Mercury only references the jar file itself, which is not needed.
I've added a patch to make that point clearer.

~0000871

juliensf (administrator)

2015-12-14 10:31

 Fixed in commit 2d01e41. (The race condition on Windows has been moved into bug 0000399.)
+Notes

-Issue History
Date Modified Username Field Change
2015-07-10 13:50 juliensf New Issue
2015-07-10 14:07 juliensf Note Added: 0000840
2015-07-10 14:15 sebgod Note Added: 0000841
2015-07-10 14:16 sebgod File Added: fix-java-jar-index.diff
2015-07-10 14:16 sebgod File Added: fix-java-jar-index.log
2015-11-02 13:30 juliensf Assigned To => juliensf
2015-11-02 13:30 juliensf Status new => assigned
2015-11-02 13:30 juliensf Target Version => 15.11
2015-12-14 10:27 juliensf Issue cloned: 0000399
2015-12-14 10:31 juliensf Note Added: 0000871
2015-12-14 10:31 juliensf Status assigned => resolved
2015-12-14 10:31 juliensf Resolution open => fixed
+Issue History