diff options
| author | 2019-03-19 20:14:31 +0100 | |
|---|---|---|
| committer | 2019-03-19 20:14:31 +0100 | |
| commit | 834ffacce22ff6a2c0f1459476dc4a45e8ea06f9 (patch) | |
| tree | c38618fc45cd6e0f466ed9d46f59902c4b5b1ccc /lib/lib_rss.php | |
| parent | cb00eafba02b5dfe9bfefd8a4b4228cccef9a6bf (diff) | |
No old ID (#2276)
* No old ID
https://github.com/FreshRSS/FreshRSS/issues/2273
* PostgreSQL insert or ignore
Diffstat (limited to 'lib/lib_rss.php')
| -rw-r--r-- | lib/lib_rss.php | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/lib/lib_rss.php b/lib/lib_rss.php index 89e9ddfea..bff59d5cc 100644 --- a/lib/lib_rss.php +++ b/lib/lib_rss.php @@ -303,12 +303,7 @@ function lazyimg($content) { function uTimeString() { $t = @gettimeofday(); - return $t['sec'] . str_pad($t['usec'], 6, '0'); -} - -function uSecString() { - $t = @gettimeofday(); - return str_pad($t['usec'], 6, '0'); + return $t['sec'] . str_pad($t['usec'], 6, '0', STR_PAD_LEFT); } function invalidateHttpCache($username = '') { |
