Menu

#102 pl1_time_ calls decode_clock_value_$time and ignores the returned error code.

MCRB
closed
None
2017-02-11
2016-02-23
No

pl1_time_ calls decode_clock_value_$time and ignores the returned error code.

Discussion

  • Charles Anthony

    Charles Anthony - 2016-02-23

    It should at the very least not use the data returned by time(); time leaves them unchanged. If an error is returned, it should make sure to return legal values, or it should throw an exception.

     
  • Eric Swenson

    Eric Swenson - 2017-02-11

    Closing as ticket moved here: http://multics-trac.swenson.org/ticket/29

     
  • Eric Swenson

    Eric Swenson - 2017-02-11
    • status: open --> closed
     

Log in to post a comment.

MongoDB Logo MongoDB