Warning: session_start(): open(/var/lib/php/sessions/sess_u57rj7gt0noeuhknfdvd5n9qi7, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
static byte[] compress30BitUint(int i) {
if (i < 0 || i >= 0x40000000) fail("Not a 30 bit uint: " + i);
if (i < 0x40)
ret new byte[] { (byte) i };
if (i < 0x4000)
ret new byte[] {
(byte) ((i >> 8) | 0x40),
(byte) i
};
if (i < 0x400000)
ret new byte[] {
(byte) ((i >> 16) | 0x80),
(byte) (i >> 8),
(byte) i
};
ret new byte[] {
(byte) ((i >> 24) | 0xC0),
(byte) (i >> 16),
(byte) (i >> 8),
(byte) i
};
}