Details

    • Type: Sub-task Sub-task
    • Status: Closed
    • Priority: Minor Minor
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: 3.2.2
    • Component/s: Core
    • Labels:
      None

      Description

      For reasons of debugging, milliseconds in the timestamp column is needed.

        Activity

        Hide
        Tim Jentz added a comment -

        This patch provide milliseconds in the timestamp column of the smack debug window.

        Show
        Tim Jentz added a comment - This patch provide milliseconds in the timestamp column of the smack debug window.
        Hide
        Tim Jentz added a comment -

        provided patch to add this feature

        Show
        Tim Jentz added a comment - provided patch to add this feature
        Hide
        Tim Jentz added a comment -

        not committed to the tree yet

        Show
        Tim Jentz added a comment - not committed to the tree yet
        Hide
        Tim Jentz added a comment -

        Applied smack-354-debug_milliseconds.patch to smack_3_2_0 branch

        Show
        Tim Jentz added a comment - Applied smack-354-debug_milliseconds.patch to smack_3_2_0 branch
        Hide
        Florian Schmaus added a comment -

        I don't use the EnhancedDebugger but if you create a SimpleDateFormat like

        SimpleDateFormat dateFormatter = new SimpleDateFormat("hh:mm:ss:SS aaa");
        

        won't that not just add centiseconds and not milliseconds as format? E.g. 14:42:23:12
        I think this should be changed to

        SimpleDateFormat dateFormatter = new SimpleDateFormat("hh:mm:ss.SSS aaa");
        

        So 'dot' instead of 'colon', and a third S to the format string.

        Show
        Florian Schmaus added a comment - I don't use the EnhancedDebugger but if you create a SimpleDateFormat like SimpleDateFormat dateFormatter = new SimpleDateFormat( "hh:mm:ss:SS aaa" ); won't that not just add centiseconds and not milliseconds as format? E.g. 14:42:23:12 I think this should be changed to SimpleDateFormat dateFormatter = new SimpleDateFormat( "hh:mm:ss.SSS aaa" ); So 'dot' instead of 'colon', and a third S to the format string.

          People

          • Assignee:
            Tim Jentz
            Reporter:
            Tim Jentz
          • Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved:

              Development