Warning: Cannot modify header information - headers already sent by (output started at /var/www/jonas-eriksen.dk/pic/private/index.php:1) in /var/www/jonas-eriksen.dk/pic/private/index.php on line 215
3
ÝPf{ ã @ sP d dl mZ d dlZd dlZd dlZd dlZdd„ Zdd„ Zdd„ Zd d
„ Z dS )é )Úabsolute_importNc C sP t jdƒ} y
| j}W n tk
r( dS X t j|_|ƒ }t|tƒsL|jdƒ}|S )z9Returns glibc version string, or None if not using glibc.NÚascii) ÚctypesZCDLLÚgnu_get_libc_versionÚAttributeErrorZc_char_pZrestypeÚ
isinstanceÚstrÚdecode)Zprocess_namespacer Úversion_str© r ú/usr/lib/python3.6/glibc.pyÚglibc_version_string s
r
c C sH t jd| ƒ}|s$tjd| tƒ dS t|jdƒƒ|koFt|jdƒƒ|kS )Nz$(?P[0-9]+)\.(?P[0-9]+)z=Expected glibc version with 2 components major.minor, got: %sFÚmajorÚminor)ÚreÚmatchÚwarningsÚwarnÚRuntimeWarningÚintÚgroup)r
Úrequired_majorÚ
minimum_minorÚmr r r Úcheck_glibc_version# s
r c C s t ƒ }|d krdS t|| |ƒS )NF)r
r )r r r
r r r Úhave_compatible_glibc3 s r c C s" t ƒ } | d krtjƒ S d| fS d S )NZglibc)r
ÚplatformÚlibc_ver)Z
glibc_versionr r r r K s r )
Z
__future__r r r r r r
r r r r r r r Ú s