[request] don't init tabindex unnecessarily, since it's added to page data which will makes an ajax call to unload_page_data necessary

#! /bin/sh -e

if [ -x "/etc/init.d/cubicweb-ctl" ]; then
    invoke-rc.d cubicweb-ctl restart || true
fi
 
 
#DEBHELPER#
 
exit 0