mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > No Prime Left Behind

Reply
 
Thread Tools
Old 2008-11-14, 00:14   #12
mdettweiler
A Sunny Moo
 
mdettweiler's Avatar
 
Aug 2007
USA (GMT-5)

3·2,083 Posts
Default

Quote:
Originally Posted by mdettweiler View Post
Okay, I've changed the llr-serverconfig.txt file, now I've just got to wait for a result to come in to check it. (I've got one client working steadily on G4000, so I imagine something should come in with the next 5-10 minutes.)
Hmm...well, it works almost exactly the way we want it to. Here's an example:

[2008-11-13 18:05]

It seems to be missing the seconds. Hence I changed the serverconfig file to the following instead:

return date("%F\ %R:%s")

Hopefully this will do the trick. I'll report back as soon as I get another result to check this one...
mdettweiler is offline   Reply With Quote
Old 2008-11-14, 00:17   #13
mdettweiler
A Sunny Moo
 
mdettweiler's Avatar
 
Aug 2007
USA (GMT-5)

3·2,083 Posts
Default

Quote:
Originally Posted by mdettweiler View Post
Hmm...well, it works almost exactly the way we want it to. Here's an example:

[2008-11-13 18:05]

It seems to be missing the seconds. Hence I changed the serverconfig file to the following instead:

return date("%F\ %R:%s")

Hopefully this will do the trick. I'll report back as soon as I get another result to check this one...
Ahemmmmm...

[2008-11-13 18:14:1226621651]

Okay, not working. I'm going to try it with a capital S now--I'm wondering if maybe "%s" represents the *result's* "time" value, whereas "%S" represents the seconds of the actual time?

Last fiddled with by mdettweiler on 2008-11-14 at 00:18
mdettweiler is offline   Reply With Quote
Old 2008-11-14, 00:26   #14
mdettweiler
A Sunny Moo
 
mdettweiler's Avatar
 
Aug 2007
USA (GMT-5)

3×2,083 Posts
Default

Quote:
Originally Posted by mdettweiler View Post
Ahemmmmm...

[2008-11-13 18:14:1226621651]

Okay, not working. I'm going to try it with a capital S now--I'm wondering if maybe "%s" represents the *result's* "time" value, whereas "%S" represents the seconds of the actual time?
Yes! It works!

[2008-11-13 18:23:28]

So, it seems that the solution is to set the serverconfig file to:

return date("%F\ %R:%S")

Now the only thing left to do is check and see if it works on Windows the same way.
mdettweiler is offline   Reply With Quote
Old 2008-11-14, 00:37   #15
IronBits
I ♥ BOINC!
 
IronBits's Avatar
 
Oct 2002
Glendale, AZ. (USA)

3×7×53 Posts
Default

Schweet!

Last fiddled with by IronBits on 2008-11-14 at 00:38
IronBits is offline   Reply With Quote
Old 2008-11-14, 00:45   #16
mdettweiler
A Sunny Moo
 
mdettweiler's Avatar
 
Aug 2007
USA (GMT-5)

624910 Posts
Default

Quote:
Originally Posted by IronBits View Post
Schweet!
Next thing I've got to do now is modify my Perl script so that it works with the new format when separating the date from the time for the CSV export. As soon as I'm done with that, my script will be finished!
mdettweiler is offline   Reply With Quote
Old 2008-11-14, 01:00   #17
Mini-Geek
Account Deleted
 
Mini-Geek's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

10000101010112 Posts
Default

Quote:
Originally Posted by mdettweiler View Post
Yes! It works!

[2008-11-13 18:23:28]

So, it seems that the solution is to set the serverconfig file to:

return date("%F\ %R:%S")

Now the only thing left to do is check and see if it works on Windows the same way.
While %R:%S will work, as you've noticed, there's a shortcut (listed in the link I gave): %T. It's like %H:%M:%S, and %R is like %H:%M, so it's the same thing as your code.
Mini-Geek is offline   Reply With Quote
Old 2008-11-14, 01:03   #18
mdettweiler
A Sunny Moo
 
mdettweiler's Avatar
 
Aug 2007
USA (GMT-5)

624910 Posts
Default

Quote:
Originally Posted by Mini-Geek View Post
While %R:%S will work, as you've noticed, there's a shortcut (listed in the link I gave): %T. It's like %H:%M:%S, and %R is like %H:%M, so it's the same thing as your code.
Hmm...interesting. I'll give it a try when I get the chance and report the results here.
mdettweiler is offline   Reply With Quote
Old 2008-11-14, 02:34   #19
IronBits
I ♥ BOINC!
 
IronBits's Avatar
 
Oct 2002
Glendale, AZ. (USA)

111310 Posts
Default

So, this would be the optimal string to use then?

return date("%F\ %T")

Windows probably works the same way. Carlos, can you give that a try?????
IronBits is offline   Reply With Quote
Old 2008-11-14, 02:53   #20
mdettweiler
A Sunny Moo
 
mdettweiler's Avatar
 
Aug 2007
USA (GMT-5)

186916 Posts
Default

Quote:
Originally Posted by IronBits View Post
So, this would be the optimal string to use then?

return date("%F\ %T")

Windows probably works the same way. Carlos, can you give that a try?????
Okay, I've gotten the "%F\ %T" setting loaded into serverconfig, I'll see how it works in about ~5-10 minutes when I get my next result.
mdettweiler is offline   Reply With Quote
Old 2008-11-14, 03:01   #21
mdettweiler
A Sunny Moo
 
mdettweiler's Avatar
 
Aug 2007
USA (GMT-5)

3·2,083 Posts
Default

Quote:
Originally Posted by mdettweiler View Post
Okay, I've gotten the "%F\ %T" setting loaded into serverconfig, I'll see how it works in about ~5-10 minutes when I get my next result.
Okay, just checked it and it works! So, "%F\ %T" it is.
mdettweiler is offline   Reply With Quote
Old 2008-11-14, 04:50   #22
IronBits
I ♥ BOINC!
 
IronBits's Avatar
 
Oct 2002
Glendale, AZ. (USA)

100010110012 Posts
Default

Ok, so... would anyone have any heartburn if we did this?

--displayFormat = "%s*2^%s+1" -- use this for PRP type test
displayFormat = "%s*2^%s-1" -- use this for LLR type test (default

to this
displayFormat = "%s,2,%s,-,1," -- use this for LLR type test (default

We can get rid of the * and ^ to make it easier to parse ;)

(I know, we already have everything parsing as it was, but it would be easier...)
Just asking... not knowing how important the 'data line' is...

Last fiddled with by IronBits on 2008-11-14 at 04:52
IronBits is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
This date in time... E_tron Lounge 68 2013-10-03 06:23
Didn't get the credits and no server logs joblack PrimeNet 5 2010-07-02 22:31
Last login Time/Date Poll garo Forum Feedback 3 2007-09-11 20:31
Last Logon Date/Time Missing richs Forum Feedback 6 2007-09-11 14:51
llrnet server down? Molnar Prime Sierpinski Project 4 2006-10-19 14:32

All times are UTC. The time now is 02:25.

Tue Mar 31 02:25:10 UTC 2020 up 5 days, 23:58, 0 users, load averages: 1.59, 1.74, 1.69

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2020, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.