Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 52 my $current_timestamp = (stat("/home/operations/zdesktop/conf/localconfig.xml"))[9];
- 53 system("\"/home/operations/zdesktop/bin/zdesktop\" start");
- 54 my $counter = 0;
- 55 my $file_updated = 0;
- 56 {
- 57 do{
- 58 my $new_timestamp = (stat("/home/operations/zdesktop/conf/localconfig.xml"))[9];
- 59 if($new_timestamp != $current_timestamp) {
- 60 $file_updated = 1;
- 61 last;
- 62 }
- 63 else {
- 64 sleep(2);
- 65 }
- 66 $counter = $counter + 1;
- 67 }while( $counter < 10 );
- 68 }
- 69 if($file_updated == 0) {
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement