|
Lines 659-665
Link Here
|
| 659 |
{ |
659 |
{ |
| 660 |
double tt = ((ITimeRange)toolTipNode).getLastTime()*1000; |
660 |
double tt = ((ITimeRange)toolTipNode).getLastTime()*1000; |
| 661 |
Date timeDate = new Date ((long)tt); |
661 |
Date timeDate = new Date ((long)tt); |
| 662 |
String time=DateFormat.getDateTimeInstance(DateFormat.SHORT, DateFormat.MEDIUM).format(timeDate); |
662 |
//TimeStyle changed for defect 161620 in order to |
|
|
663 |
// show the user the creation time timezone |
| 664 |
String time=DateFormat.getDateTimeInstance(DateFormat.SHORT, DateFormat.LONG).format(timeDate); |
| 663 |
// if (agent.getStartTime() > 0) |
665 |
// if (agent.getStartTime() > 0) |
| 664 |
// { |
666 |
// { |
| 665 |
// Date date = new Date((long)agent.getStartTime() * 1000); |
667 |
// Date date = new Date((long)agent.getStartTime() * 1000); |
|
Lines 694-700
Link Here
|
| 694 |
String retValue="";//$NON-NLS-1$ |
696 |
String retValue="";//$NON-NLS-1$ |
| 695 |
double tt = numTime*1000; |
697 |
double tt = numTime*1000; |
| 696 |
Date timeDate = new Date ((long)tt); |
698 |
Date timeDate = new Date ((long)tt); |
| 697 |
String time=DateFormat.getDateTimeInstance(DateFormat.SHORT, DateFormat.MEDIUM).format(timeDate); |
699 |
// TimeStyle changed for defect 161620 in order to |
|
|
700 |
// show the user the creation time timezone |
| 701 |
String time=DateFormat.getDateTimeInstance(DateFormat.SHORT, DateFormat.LONG).format(timeDate); |
| 698 |
double ms=(int)(tt%1000); |
702 |
double ms=(int)(tt%1000); |
| 699 |
double us=(int)((tt*1000)%1000); |
703 |
double us=(int)((tt*1000)%1000); |
| 700 |
double delta=(ms+us/1000)/1000; |
704 |
double delta=(ms+us/1000)/1000; |
