--- doc/loncapafiles/modify_config_files.piml	2011/10/25 13:01:32	1.15
+++ doc/loncapafiles/modify_config_files.piml	2013/11/30 22:06:31	1.24
@@ -3,7 +3,7 @@
 <!-- modify_config_files.piml -->
 <!-- Matthew Hall -->
 
-<!-- $Id: modify_config_files.piml,v 1.15 2011/10/25 13:01:32 raeburn Exp $ -->
+<!-- $Id: modify_config_files.piml,v 1.24 2013/11/30 22:06:31 raeburn Exp $ -->
 
 <!--
 
@@ -37,15 +37,17 @@ http://www.lon-capa.org/
 <perlscript mode="fg">
 my $configfiles = 'yum and MySQL';
 my $mysqlcmd = '/etc/init.d/mysqld restart';
-if ('<DIST />' eq 'suse9.2' || '<DIST />' eq 'suse9.3' || '<DIST />' eq 'sles9' || '<DIST />' eq 'sles10' || '<DIST />' eq 'sles11' || '<DIST />' eq 'suse10.1' || '<DIST />' eq 'suse10.2' || '<DIST />' eq 'suse10.3' || '<DIST />' eq 'suse11.1' || '<DIST />' eq 'suse11.2' || '<DIST />' eq 'suse11.3' || '<DIST />' eq 'suse11.4') {
+if ('<DIST />' eq 'suse9.2' || '<DIST />' eq 'suse9.3' || '<DIST />' eq 'sles9' || '<DIST />' eq 'sles10' || '<DIST />' eq 'sles11' || '<DIST />' eq 'suse10.1' || '<DIST />' eq 'suse10.2' || '<DIST />' eq 'suse10.3' || '<DIST />' eq 'suse11.1' || '<DIST />' eq 'suse11.2' || '<DIST />' eq 'suse11.3' || '<DIST />' eq 'suse11.4' || '<DIST />' eq 'suse12.1' || '<DIST />' eq 'suse12.2' || '<DIST />' eq 'suse12.3') {
     $mysqlcmd = '/etc/init.d/mysql restart';
     $configfiles = 'MySQL';
 } elsif ('<DIST />' eq 'rhes4') {
     $configfiles = 'MySQL';
-} elsif ('<DIST />' eq 'debian5' || '<DIST />' eq 'debian6' || '<DIST />' eq 'ubuntu6' || '<DIST />' eq 'ubuntu8' || '<DIST />' eq 'ubuntu10') {
+} elsif ('<DIST />' eq 'debian5' || '<DIST />' eq 'debian6' || '<DIST />' eq 'ubuntu6' || '<DIST />' eq 'ubuntu8' || '<DIST />' eq 'ubuntu10'  || '<DIST />' eq 'ubuntu12') {
     $configfiles = 'Apt and MySQL';
     $mysqlcmd = '/etc/init.d/mysql restart';
-} elsif ('<DIST />' eq 'fedora16') {
+} elsif (('<DIST />' eq 'fedora16') || ('<DIST />' eq 'fedora17') ||
+         ('<DIST />' eq 'fedora18') || ('<DIST />' eq 'fedora19') ||
+         ('<DIST />' eq 'fedora20')) {
     $mysqlcmd = '/bin/systemctl restart mysqld.service';  
 }