dbck.c 39.3 KB
Newer Older
Linus Tolke Y's avatar
Linus Tolke Y committed
1
/*
Per Cederqvist's avatar
Per Cederqvist committed
2 3
 * $Id: dbck.c,v 0.66 2002/03/29 22:29:48 ceder Exp $
 * Copyright (C) 1991-2002  Lysator Academic Computer Association.
Linus Tolke Y's avatar
Linus Tolke Y committed
4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
 *
 * This file is part of the LysKOM server.
 * 
 * LysKOM is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License as published by 
 * the Free Software Foundation; either version 1, or (at your option) 
 * any later version.
 * 
 * LysKOM is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * for more details.
 * 
 * You should have received a copy of the GNU General Public License
 * along with LysKOM; see the file COPYING.  If not, write to
 * Lysator, c/o ISY, Linkoping University, S-581 83 Linkoping, SWEDEN,
 * or the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, 
 * MA 02139, USA.
 *
 * Please mail bug reports to bug-lyskom@lysator.liu.se. 
 */
Per Cederqvist's avatar
Per Cederqvist committed
25 26 27 28 29 30
/*
 * dbck.c - A simple database checker and corrector.
 *
 * Author: Per Cederqvist.
 */

David Byers's avatar
David Byers committed
31 32 33 34 35

#ifdef HAVE_CONFIG_H
#  include <config.h>
#endif

Per Cederqvist's avatar
Per Cederqvist committed
36 37 38
#ifdef HAVE_STDLIB_H
#  include <stdlib.h>
#endif
Per Cederqvist's avatar
Per Cederqvist committed
39
#include <stdio.h>
Per Cederqvist's avatar
Per Cederqvist committed
40 41 42
#ifdef HAVE_STDARG_H
#  include <stdarg.h>
#endif
43 44
#include <time.h>
#include <sys/types.h>
45 46 47 48 49 50
#ifdef HAVE_CRYPT_H
#  include <crypt.h>
#endif
#ifdef HAVE_UNISTD_H
#  include <unistd.h>
#endif
51 52 53
#ifdef HAVE_STRING_H
#  include <string.h>
#endif
54
#include <assert.h>
David Byers's avatar
Server  
David Byers committed
55
#include <setjmp.h>
56

Per Cederqvist's avatar
Per Cederqvist committed
57
#include "getopt.h"
Per Cederqvist's avatar
Per Cederqvist committed
58
#include "misc-types.h"
59
#include "s-string.h"
Per Cederqvist's avatar
Per Cederqvist committed
60
#include "kom-types.h"
Per Cederqvist's avatar
Per Cederqvist committed
61
#include "lyskomd.h"
Per Cederqvist's avatar
Per Cederqvist committed
62 63
#include "log.h"
#include "server/smalloc.h"
Per Cederqvist's avatar
Per Cederqvist committed
64
#include "misc-parser.h"
Per Cederqvist's avatar
Per Cederqvist committed
65
#include "cache.h"
David Byers's avatar
David Byers committed
66
#include "kom-config.h"
Per Cederqvist's avatar
Per Cederqvist committed
67
#include "debug.h"
Per Cederqvist's avatar
Per Cederqvist committed
68
#include "dbck-cache.h"
69 70
#include "param.h"
#include "server-config.h"
David Byers's avatar
Server  
David Byers committed
71 72 73
#include "async.h"
#include "com.h"
#include "connections.h"
74
#include "manipulate.h"
Per Cederqvist's avatar
Per Cederqvist committed
75
#include "version-info.h"
76
#include "ram-output.h"
77
#include "unused.h"
78
#include "local-to-global.h"
79
#include "lockdb.h"
Per Cederqvist's avatar
Per Cederqvist committed
80

81 82 83 84 85 86 87 88

#define OPT_PERS_PRESENTATION_CONF      1
#define OPT_CONF_PRESENTATION_CONF      2
#define OPT_MOTD_CONF                   3
#define OPT_MOTD_OF_KOM                 4
#define OPT_KOM_NEWS_CONF               5


Per Cederqvist's avatar
Per Cederqvist committed
89 90 91 92 93 94 95 96 97 98 99 100
static struct option longopts[] = {
    {"compact-text-mass", 0, 0, 'g' },
    {"interactive", 0, 0, 'i' },
    {"auto-repair", 0, 0, 'r' },
    {"verbose", 0, 0, 'v' },
    {"print-statistics", 0, 0, 's' },
    {"list-text-no", 0, 0, 't' },
    {"set-change-name", 0, 0, 'c' },
    {"clear-password", required_argument, 0, 'P' },
    {"grant-all", required_argument, 0, 'G' },
    {"output-version", required_argument, 0, 'o' },
    {"force-output", 0, 0, 'F' },
101 102 103 104 105 106 107
    {"pers-pres-conf", required_argument, 0, 
     OPT_PERS_PRESENTATION_CONF },
    {"conf-pres-conf", required_argument, 0, 
     OPT_CONF_PRESENTATION_CONF },
    {"motd-conf", required_argument, 0, OPT_MOTD_CONF },
    {"motd-of-kom", required_argument, 0, OPT_MOTD_OF_KOM },
    {"kom-news-conf", required_argument, 0, OPT_KOM_NEWS_CONF },
Per Cederqvist's avatar
Per Cederqvist committed
108 109 110 111 112
    {"help", 0, 0, 'h' },
    { 0, 0, 0, 0 }
};

    
113

114
extern Info kom_info;
Per Cederqvist's avatar
Per Cederqvist committed
115

116 117 118 119
/* This is set to TRUE if init_cache finds out that the last part of the
   database is missing. */
Bool truncated_texts = FALSE;

Per Cederqvist's avatar
Per Cederqvist committed
120
int vflag=0;			/* Verbose - list statistics also. */
Per Cederqvist's avatar
Per Cederqvist committed
121 122 123 124
static int iflag=0;		/* Interactive - prompt user and repair. */
static int rflag=0;		/* Repair simple error without confirmation. */
static int gflag=0;		/* Garbage collect text-file. */
static int sflag=0;		/* Statistic flag. */
Per Cederqvist's avatar
Per Cederqvist committed
125 126
static Pers_no reset_pwd=0;	/* Person whose password should be cleared. */
static Pers_no grant_all=0;	/* Person which should receive all bits. */
127 128 129

/* The following variable holds the output format */

130
long oformat=-1;		/* Output format */
Per Cederqvist's avatar
Per Cederqvist committed
131
static long force_output=0;	/* Force sync (for conversions) */
132

133 134 135 136 137 138 139 140 141
/* The following variables hold kom_info modifications */

int pers_pres_conf = -1;
int conf_pres_conf = -1;
int motd_conf = -1;
int motd_of_lyskom = -1;
int kom_news_conf = -1;


142 143
/* The following variable corresponds to the -c flag, and is
   present here due to a bug in lyskomd 1.6.1. */
Per Cederqvist's avatar
Per Cederqvist committed
144
static int unset_change_name_is_error=0;
145

146 147
/* A list of all available text numbers was useful when developing
   new data structures in lyskomd in 1995.  Option: -t. */
Per Cederqvist's avatar
Per Cederqvist committed
148
static int dump_text_numbers=0;
149

Per Cederqvist's avatar
Per Cederqvist committed
150 151 152 153 154 155 156 157
int modifications = 0;

typedef struct {
    int	created_confs;
} Person_scratchpad;

static const Person_scratchpad   EMPTY_PERSON_SCRATCHPAD = { 0 };

David Byers's avatar
David Byers committed
158
static Person_scratchpad **person_scratchpad = NULL;
Per Cederqvist's avatar
Per Cederqvist committed
159

David Byers's avatar
David Byers committed
160 161
int buglevel = 0;
BUGDECL;
Per Cederqvist's avatar
Per Cederqvist committed
162

163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194

struct delete_list {
    struct delete_list *next;
    Local_text_no lno;
};

static void
delete_list_append(struct delete_list **head,
		   Local_text_no lno)
{
    struct delete_list *item = smalloc(sizeof(struct delete_list));
    item->next = *head;
    item->lno =  lno;
    *head = item;
}

static void
execute_deletions(Local_to_global *l2g,
		  struct delete_list **head)
{
    struct delete_list *item;

    while (*head != NULL)
    {
	item = *head;
	*head = item->next;
	l2g_delete(l2g, item->lno);
	sfree(item);
    }
}


Per Cederqvist's avatar
Per Cederqvist committed
195
#if defined(HAVE_VFPRINTF) && defined(HAVE_STDARG_H)
Per Cederqvist's avatar
Per Cederqvist committed
196
extern void
David Byers's avatar
David Byers committed
197
kom_log (const char * format, ...)
Per Cederqvist's avatar
Per Cederqvist committed
198 199 200 201 202 203 204 205 206
{
    va_list AP;

    va_start(AP, format);

    vfprintf(stdout, format, AP);

    va_end(AP);
}
207 208
#else
extern void
David Byers's avatar
David Byers committed
209
kom_log (format, a, b, c, d, e, f, g)
210 211
     const char * format;
     int a, b, c, d, e, f, g;
212 213 214 215
{
    fprintf(stdout, format, a, b, c, d, e, f, g);
}
#endif
Per Cederqvist's avatar
Per Cederqvist committed
216

Per Cederqvist's avatar
Per Cederqvist committed
217
#if defined(HAVE_VFPRINTF) && defined(HAVE_STDARG_H)
Per Cederqvist's avatar
Per Cederqvist committed
218 219 220 221 222 223 224 225 226 227 228 229
extern void
restart_kom (const char * format, ...)
{
    va_list AP;

    va_start(AP, format);

    vfprintf(stdout, format, AP);

    va_end(AP);
    exit(1);
}
Per Cederqvist's avatar
Per Cederqvist committed
230
#else
231
extern void
232 233 234
restart_kom (format, a, b, c, d, e, f, g)
     const char * format;
     int a, b, c, d, e, f, g;
235 236 237 238 239
{
    fprintf(stdout, format, a, b, c, d, e, f, g);
    exit(1);
}
#endif
Per Cederqvist's avatar
Per Cederqvist committed
240

241

Per Cederqvist's avatar
Per Cederqvist committed
242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263
static Person_scratchpad *
alloc_person_scratchpad(void)
{
    Person_scratchpad *p;

    p = smalloc(sizeof(Person_scratchpad));
    *p = EMPTY_PERSON_SCRATCHPAD;
    return p;
}


static Bool
is_comment_to(Text_no    comment,
	      Text_stat *parent)
{
    int i;

    for ( i = 0; i < parent->no_of_misc; i++ )
    {
	switch( parent->misc_items[ i ].type )
	{
	case comm_in:
264
	    if ( parent->misc_items[ i ].datum.text_link == comment )
Per Cederqvist's avatar
Per Cederqvist committed
265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285
		return TRUE;
	    break;
	default:
	    break;
	}
    }

    return FALSE;
}

static Bool
is_commented_in(Text_no    parent,
		Text_stat *child)
{
    int i;

    for ( i = 0; i < child->no_of_misc; i++ )
    {
	switch( child->misc_items[ i ].type )
	{
	case comm_to:
286
	    if ( child->misc_items[ i ].datum.text_link == parent )
Per Cederqvist's avatar
Per Cederqvist committed
287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307
		return TRUE;
	    break;
	default:
	    break;
	}
    }

    return FALSE;
}
	
static Bool
is_footnote_to(Text_no    footnote,
	       Text_stat *parent)
{
    int i;

    for ( i = 0; i < parent->no_of_misc; i++ )
    {
	switch( parent->misc_items[ i ].type )
	{
	case footn_in:
308
	    if ( parent->misc_items[ i ].datum.text_link == footnote )
Per Cederqvist's avatar
Per Cederqvist committed
309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329
		return TRUE;
	    break;
	default:
	    break;
	}
    }

    return FALSE;
}

static Bool
is_footnoted_in(Text_no    parent,
		Text_stat *child)
{
    int i;

    for ( i = 0; i < child->no_of_misc; i++ )
    {
	switch( child->misc_items[ i ].type )
	{
	case footn_to:
330
	    if ( child->misc_items[ i ].datum.text_link == parent )
Per Cederqvist's avatar
Per Cederqvist committed
331 332 333 334 335 336 337 338 339 340
		return TRUE;
	    break;
	default:
	    break;
	}
    }

    return FALSE;
}

341
Member *
Per Cederqvist's avatar
Per Cederqvist committed
342 343 344
locate_member(Pers_no      pers_no,
	      Conference * conf_c)
{
345
    Member * mbr;
Per Cederqvist's avatar
Per Cederqvist committed
346 347
    int      i;

348 349
    for(mbr = conf_c->members.members, i = conf_c->members.no_of_members;
	i > 0; i--, mbr++)
Per Cederqvist's avatar
Per Cederqvist committed
350
    {
351
	if ( mbr->member == pers_no )
Per Cederqvist's avatar
Per Cederqvist committed
352
	{
353
	    return mbr;
Per Cederqvist's avatar
Per Cederqvist committed
354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373
	}
    }

    return NULL;
}

/*
 * Delete a misc_info.
 * If it is a recpt, cc_recpt, comm_to or footn_to delete any
 * loc_no, rec_time, sent_by or sent_at that might follow it.
 *
 * Note that the Misc_info is not reallocated.
 */

static void
delete_misc (Text_stat *tstat,
	     Misc_info *misc)	/* Pointer to first misc_item to delete. */
{
    int del = 1;		/* Number of items to delete. */
    				/* Always delete at least one item. */
374
    Bool ready = FALSE;
Per Cederqvist's avatar
Per Cederqvist committed
375 376 377 378 379 380
    
    /* Check range of misc */

    if (misc < tstat->misc_items
	|| misc >= tstat->misc_items + tstat->no_of_misc )
    {
381
	restart_kom("delete_misc() - misc out of range\n");
Per Cederqvist's avatar
Per Cederqvist committed
382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397
    }

    while (ready == FALSE
	   && misc + del < tstat->misc_items + tstat->no_of_misc )
    {
	switch ( misc[ del ].type )
	{
	case loc_no:
	case rec_time:
	case sent_by:
	case sent_at:
	    del++;
	    break;

	case recpt:
	case cc_recpt:
398
        case bcc_recpt:
Per Cederqvist's avatar
Per Cederqvist committed
399 400 401 402 403 404 405 406 407 408
	case footn_to:
	case footn_in:
	case comm_to:
	case comm_in:
	    ready = TRUE;
	    break;

#ifndef COMPILE_CHECKS
	default:
#endif
409 410
	case unknown_info:
	    restart_kom("delete_misc() - illegal misc found.\n");
Per Cederqvist's avatar
Per Cederqvist committed
411 412 413 414 415 416 417 418 419 420 421 422 423 424 425
	}
    }

    tstat->no_of_misc -= del;

    /* Move items beyond the deleted ones. */

    while ( misc < tstat->misc_items + tstat->no_of_misc )
    {
	misc[ 0 ] = misc[ del ];
	misc++;
    }
}

static int
426
confirm(const char *question)
Per Cederqvist's avatar
Per Cederqvist committed
427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448
{
    if ( iflag )
    {
	fputs(question, stdout);
	fputs(" (y/n) ", stdout);
	while(1)
	    switch(getchar())
	    {
	    case 'y':
	    case 'Y':
		return 1;
	    case 'n':
	    case 'N':
	    case EOF:
		return 0;
	    default:
		break;
	    }
    }
    else
	return 0;
}
449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525


static long
check_misc_any_recipient(Text_no tno,
			 Text_stat *tstat,
			 const char *pretty_type,
			 Conf_no rcpt,
			 Local_text_no lno,
			 Misc_info *previous,
			 const Misc_info **misc)
{
    Conference *c;
    long errors = 0;
    Local_text_no conf_min;
    Local_text_no conf_max;

    c = cached_get_conf_stat(rcpt);
    if (c == NULL && rcpt == 0)
    {
	kom_log("Conference 0 is a %s of text %lu.\n",
		pretty_type, (unsigned long)tno);
	if (rflag || confirm("Repair by deleting misc_item? "))
	{
	    delete_misc(tstat, previous);
	    kom_log("Repaired: Conference 0 is no longer a %s.\n",
		    pretty_type);
	    mark_text_as_changed(tno);
	    modifications++;
	    *misc = previous;
	}
	else
	    errors++;

	return errors;
    }

    if (c == NULL)
	return errors;

    /* Check loc_no */
    conf_min = l2g_lookup(&c->texts, 0);
    conf_max = l2g_first_appendable_key(&c->texts);

    if (lno < conf_min)
    {
	kom_log("Text %lu: %s %lu<%lu>: loc_no is less than %lu\n",
		(unsigned long)tno,
		pretty_type,
		(unsigned long)rcpt,
		(unsigned long)lno,
		(unsigned long)conf_min);
	errors++;
    }
    else if (lno >= conf_max)
    {
	kom_log("Text %lu: %s %lu<%lu>: loc_no is greater than %lu\n",
		(unsigned long)tno,
		pretty_type,
		(unsigned long)rcpt,
		(unsigned long)lno,
		(unsigned long)conf_max);
	errors++;
    }
    else if (l2g_lookup(&c->texts, lno) != tno)
    {
	kom_log("Text %lu: %s %lu<%lu>: that local number is mapped to %lu.\n",
		(unsigned long)tno,
		pretty_type,
		(unsigned long)rcpt,
		(unsigned long)lno,
		(unsigned long)l2g_lookup(&c->texts, lno));
	errors++;
    }

    return errors;
}

Per Cederqvist's avatar
Per Cederqvist committed
526 527 528 529 530 531 532 533 534
    
static long
check_misc_infos(Text_no    tno,
		 Text_stat *tstat)
{
    const Misc_info   * misc = tstat->misc_items;
    Misc_info   * previous;
    Misc_info_group group;
    Text_stat *t;
535
    
536
    long errors=0;
Per Cederqvist's avatar
Per Cederqvist committed
537 538 539 540 541 542 543 544 545

    while (previous = (Misc_info *)misc,
	   group = parse_next_misc(&misc,
				   tstat->misc_items + tstat->no_of_misc),
	   group.type != m_end_of_list && group.type != m_error )
    {
	switch ( group.type )
	{
	case m_recpt:
546 547 548
	    check_misc_any_recipient(tno, tstat, "recipient",
				     group.recipient, group.local_no,
				     previous, &misc);
Per Cederqvist's avatar
Per Cederqvist committed
549 550 551
	    break;

	case m_cc_recpt:
552 553 554
	    check_misc_any_recipient(tno, tstat, "cc_recipient",
				     group.cc_recipient, group.local_no,
				     previous, &misc);
Per Cederqvist's avatar
Per Cederqvist committed
555 556
	    break;

557
	case m_bcc_recpt:
558 559 560
	    check_misc_any_recipient(tno, tstat, "bcc_recipient",
				     group.bcc_recipient, group.local_no,
				     previous, &misc);
561 562
	    break;

Per Cederqvist's avatar
Per Cederqvist committed
563 564 565 566 567
	case m_comm_to:
	    t = cached_get_text_stat(group.comment_to);

	    if ( t == NULL )
	    {
David Byers's avatar
David Byers committed
568
		kom_log("Text %lu is a comment to %lu, which doesn't exist.\n",
569
		    (unsigned long)tno, (unsigned long)group.comment_to);
Per Cederqvist's avatar
Per Cederqvist committed
570 571 572 573 574 575

		if (rflag || confirm("Repair by deleting misc_item? "))
		{
		    delete_misc(tstat, previous);
		    mark_text_as_changed(tno);
		    modifications++;
David Byers's avatar
David Byers committed
576
		    kom_log("Repaired: Comment-link deleted.\n");
Per Cederqvist's avatar
Per Cederqvist committed
577 578 579
		    misc = previous;
		}
		else
580
		    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
581
		    
582
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
583 584 585
	    }
	    else if (!is_comment_to(tno, t))
	    {
David Byers's avatar
David Byers committed
586
		kom_log("Text %lu is a comment to %lu, but not the reverse.\n",
587
		    (unsigned long)tno, (unsigned long)group.comment_to);
588
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
589 590 591 592 593 594 595 596 597
	    }

	    break;

	case m_comm_in:
	    t = cached_get_text_stat(group.commented_in);

	    if ( t == NULL )
	    {
David Byers's avatar
David Byers committed
598
		kom_log("Text %lu is commented in %lu, which doesn't exist.\n",
599
		    (unsigned long)tno, (unsigned long)group.commented_in);
Per Cederqvist's avatar
Per Cederqvist committed
600 601 602 603 604 605

		if (rflag || confirm("Repair by deleting misc_item? "))
		{
		    delete_misc(tstat, previous);
		    mark_text_as_changed(tno);
		    modifications++;
David Byers's avatar
David Byers committed
606
		    kom_log("Repaired: Comment-link deleted.\n");
Per Cederqvist's avatar
Per Cederqvist committed
607 608 609
		    misc = previous;
		}
		else
610
		    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
611 612 613
	    }
	    else if (!is_commented_in(tno, t))
	    {
David Byers's avatar
David Byers committed
614
		kom_log("Text %lu is commented in %lu, but not the reverse.\n",
615
		    (unsigned long)tno, (unsigned long)group.commented_in);
616
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
617 618 619 620 621 622 623 624 625
	    }

	    break;

	case m_footn_to:
	    t = cached_get_text_stat(group.footnote_to);

	    if ( t == NULL )
	    {
David Byers's avatar
David Byers committed
626
		kom_log("Text %lu is a footnote to %lu, which doesn't exist.\n",
627
		    (unsigned long)tno, (unsigned long)group.footnote_to);
Per Cederqvist's avatar
Per Cederqvist committed
628 629 630 631 632 633

		if (rflag || confirm("Repair by deleting misc_item? "))
		{
		    delete_misc(tstat, previous);
		    mark_text_as_changed(tno);
		    modifications++;
David Byers's avatar
David Byers committed
634
		    kom_log("Repaired: Footnote-link deleted.\n");
Per Cederqvist's avatar
Per Cederqvist committed
635 636 637
		    misc = previous;
		}
		else
638
		    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
639 640 641
	    }
	    else if (!is_footnote_to(tno, t))
	    {
David Byers's avatar
David Byers committed
642
		kom_log("Text %lu is a footnote to %lu, but not the reverse.\n",
643
		    (unsigned long)tno, (unsigned long)group.footnote_to);
644
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
645 646 647 648 649 650 651 652 653
	    }

	    break;
	    
	case m_footn_in:
	    t = cached_get_text_stat(group.footnoted_in);

	    if ( t == NULL )
	    {
David Byers's avatar
David Byers committed
654
		kom_log("Text %lu is footnoted in %lu, which doesn't exist.\n",
655
		    (unsigned long)tno, (unsigned long)group.footnoted_in);
Per Cederqvist's avatar
Per Cederqvist committed
656 657 658 659 660 661

		if (rflag || confirm("Repair by deleting misc_item? "))
		{
		    delete_misc(tstat, previous);
		    mark_text_as_changed(tno);
		    modifications++;
David Byers's avatar
David Byers committed
662
		    kom_log("Repaired: Footnote-link deleted.\n");
Per Cederqvist's avatar
Per Cederqvist committed
663 664 665
		    misc = previous;
		}
		else
666
		    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
667 668 669
	    }
	    else if (!is_footnoted_in(tno, t))
	    {
David Byers's avatar
David Byers committed
670
		kom_log("Text %lu is footnoted in %lu, but not the reverse.\n",
671
		    (unsigned long)tno, (unsigned long)group.footnoted_in);
672
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
673 674 675 676 677
	    }

	    break;

	default:
David Byers's avatar
David Byers committed
678
	    kom_log("check_misc_infos(): parse_next_misc returned type %lu\n",
679
		(unsigned long)group.type);
Per Cederqvist's avatar
Per Cederqvist committed
680 681 682 683 684 685
	    break;
	}
    }

    if ( group.type == m_error )
    {
David Byers's avatar
David Byers committed
686
	kom_log("Text %lu has a bad misc_info_list.\n", (unsigned long)tno);
687
	errors++;
Per Cederqvist's avatar
Per Cederqvist committed
688 689
    }

690
    return errors;
Per Cederqvist's avatar
Per Cederqvist committed
691 692 693 694 695 696 697 698 699 700 701 702
}

		    
		     
		 
static long
check_texts(void)
{
    Text_no    ct = 0;
    Text_stat *ctp=NULL;
    long	errors = 0;
    Text_no	number_of_texts = 0;
703 704
    unsigned long	bytes=0;
    unsigned long	max_bytes=0;
Per Cederqvist's avatar
Per Cederqvist committed
705 706
    Text_no	max_text=0;

707
    while ( (ct = traverse_text(ct)) != 0 )
Per Cederqvist's avatar
Per Cederqvist committed
708 709 710 711 712 713
    {
	number_of_texts++;
	
	ctp = cached_get_text_stat( ct );
	if ( ctp == NULL )
	{
David Byers's avatar
David Byers committed
714
	    kom_log("Text %lu nonexistent.\n", ct);
Per Cederqvist's avatar
Per Cederqvist committed
715 716 717 718
	    errors++;
	}
	else
	{
719
	    if (dump_text_numbers)
David Byers's avatar
David Byers committed
720
		kom_log("Checking text_no %ld\n", (unsigned long)ct);
721

Per Cederqvist's avatar
Per Cederqvist committed
722
	    bytes += ctp->no_of_chars;
David Byers's avatar
David Byers committed
723
	    if ( (unsigned long)ctp->no_of_chars > max_bytes )
Per Cederqvist's avatar
Per Cederqvist committed
724 725 726 727 728
	    {
		max_bytes = ctp->no_of_chars;
		max_text = ct;
	    }
	    
729
	    /* FIXME (bug 147): no_of_marks is not yet checked. */
Per Cederqvist's avatar
Per Cederqvist committed
730 731 732 733 734 735 736
	    errors += check_misc_infos(ct, ctp);
	}
    }

    if (vflag)
    {
	if ( number_of_texts == 0 )
David Byers's avatar
David Byers committed
737
	    kom_log("WARNING: No texts found.\n");
Per Cederqvist's avatar
Per Cederqvist committed
738 739
	else
	{
David Byers's avatar
David Byers committed
740
	    kom_log("Total of %lu texts (total %lu bytes, avg. %lu bytes/text).\n",
741 742 743
		(unsigned long)number_of_texts,
		(unsigned long)bytes,
		(unsigned long)(bytes/number_of_texts));
David Byers's avatar
David Byers committed
744
	    kom_log("Longest text is %lu (%lu bytes).\n",
745
		(unsigned long)max_text, (unsigned long)max_bytes);
Per Cederqvist's avatar
Per Cederqvist committed
746 747 748 749 750 751 752 753 754
	}
    }
    
    return errors;
}


static int
check_created_texts(Pers_no pno,
755
		    Local_to_global *created)
Per Cederqvist's avatar
Per Cederqvist committed
756 757
{
    Text_stat *t;
758
    int errors=0;
759 760
    L2g_iterator iter;
    struct delete_list *del_list = NULL;
Per Cederqvist's avatar
Per Cederqvist committed
761

762
    for (l2gi_searchall(&iter, created); !iter.search_ended; l2gi_next(&iter))
Per Cederqvist's avatar
Per Cederqvist committed
763
    {
764 765
	assert(iter.tno != 0);
	assert(iter.lno != 0);
Per Cederqvist's avatar
Per Cederqvist committed
766

767 768 769
	t = cached_get_text_stat(iter.tno);
	if ( t != NULL && t->author != pno)
	{
David Byers's avatar
David Byers committed
770
	    kom_log("Person %lu is author of text %lu whose author is %lu.\n",
771 772 773
		(unsigned long)pno, (unsigned long)iter.tno,
		(unsigned long)t->author);
	    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
774 775
	}

776
	if ( t == NULL )
Per Cederqvist's avatar
Per Cederqvist committed
777
	{
David Byers's avatar
David Byers committed
778
	    kom_log("Person %lu is author of text %lu, which doesn't exist.\n",
779 780 781 782 783 784 785
		(unsigned long)pno, (unsigned long)iter.tno);
	    if ( rflag ||
		 confirm("Repair by setting to text_no to 0 in local map"))
	    {
		delete_list_append(&del_list, iter.lno);
		mark_person_as_changed(pno);
		modifications++;
David Byers's avatar
David Byers committed
786
		kom_log("Repaired: created_texts corrected.\n");
787 788 789
	    }
	    else
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
790
	}
791
	
Per Cederqvist's avatar
Per Cederqvist committed
792
    }
793
    execute_deletions(created, &del_list);
Per Cederqvist's avatar
Per Cederqvist committed
794
    
795
    return errors;
Per Cederqvist's avatar
Per Cederqvist committed
796 797 798 799
}

static int
check_membership(Pers_no pno,
David Byers's avatar
David Byers committed
800
		 Membership *mship)
Per Cederqvist's avatar
Per Cederqvist committed
801
{
802
    int errors=0;
Per Cederqvist's avatar
Per Cederqvist committed
803 804 805
    Conference *conf;
    int i;
    Local_text_no last=0;
David Byers's avatar
David Byers committed
806
    Member *mem;
Per Cederqvist's avatar
Per Cederqvist committed
807 808 809 810
    
    conf = cached_get_conf_stat(mship->conf_no);
    if ( conf == NULL )
    {
David Byers's avatar
David Byers committed
811
	kom_log("Person %lu is a member in the non-existing conference %lu.\n",
812
	    (unsigned long)pno, (unsigned long)mship->conf_no);
813
	errors++;
Per Cederqvist's avatar
Per Cederqvist committed
814 815 816 817
    }
    else
    {
	/* Check read texts */
818
	if (mship->last_text_read >= l2g_first_appendable_key(&conf->texts))
Per Cederqvist's avatar
Per Cederqvist committed
819
	{
David Byers's avatar
David Byers committed
820
	    kom_log("Person %lu %s %lu in conf %lu, which only has %lu texts.\n",
821
		(unsigned long)pno,
Per Cederqvist's avatar
Per Cederqvist committed
822
		"has read text",
823 824
		(unsigned long)mship->last_text_read,
		(unsigned long)mship->conf_no,
825
		(unsigned long)(l2g_first_appendable_key(&conf->texts) -1));
826
	    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
827 828 829 830 831 832
	}

	for ( last = i = 0; i < mship->no_of_read; i++)
	{
	    if ( mship->read_texts[i] <= last )
	    {
David Byers's avatar
David Byers committed
833
		kom_log("Person %lu's membership in %lu %s %lu<%lu> <= %lu.\n",
834
		    (unsigned long)pno, (unsigned long)mship->conf_no,
Per Cederqvist's avatar
Per Cederqvist committed
835
		    "is corrupt: read text number",
Per Cederqvist's avatar
Per Cederqvist committed
836 837
		    (unsigned long)mship->read_texts[i], (unsigned long)i,
		    (unsigned long)last);
838
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
839 840 841 842 843 844
	    }

	    last = mship->read_texts[i];
	}

	/* Check that he is a member */
David Byers's avatar
David Byers committed
845
	if ( (mem = locate_member(pno, conf)) == NULL )
Per Cederqvist's avatar
Per Cederqvist committed
846
	{
David Byers's avatar
David Byers committed
847
	    kom_log("Person %lu is a member in %lu in which he isn't a member.\n",
848
		(unsigned long)pno, (unsigned long)mship->conf_no);
849
	    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
850
	}
David Byers's avatar
David Byers committed
851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868
        else
        {
            /* Check duplicated information
               Short circuit and in each check sets foo_e
               if an error has been detected
            */

            if (mem->type.invitation != mship->type.invitation ||
                mem->type.passive != mship->type.passive ||
                mem->type.secret != mship->type.secret ||
                mem->type.reserved1 != mship->type.reserved1 ||
                mem->type.reserved2 != mship->type.reserved2 ||
                mem->type.reserved3 != mship->type.reserved3 ||
                mem->type.reserved4 != mship->type.reserved4 ||
                mem->type.reserved5 != mship->type.reserved5 ||
                mem->added_at != mship->added_at ||
                mem->added_by != mship->added_by)
            {
David Byers's avatar
David Byers committed
869
                kom_log("Person %lu membership in %lu does not match member record.\n",
David Byers's avatar
David Byers committed
870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916
                    (unsigned long)pno,
                    (unsigned long)mship->conf_no
                    );

                errors++;

                fputs("Membership:", stdout);
                printf("  type:      %s%s%s%s%s%s%s%s\n",
                       mship->type.invitation ? "invitation " : "",
                       mship->type.passive ? "passive " : "",
                       mship->type.secret ? "secret " : "",
                       mship->type.reserved1 ? "rsv1 "  : "",
                       mship->type.reserved2 ? "rsv2 "  : "",
                       mship->type.reserved3 ? "rsv3 "  : "",
                       mship->type.reserved4 ? "rsv4 "  : "",
                       mship->type.reserved5 ? "rsv5"  : "");
                printf("  added_by: %lu\n", (unsigned long)mship->added_by);
                printf("  added_at: %lu\n", (unsigned long)mship->added_at);
                fputs("Member:", stdout);
                printf("  type:      %s%s%s%s%s%s%s%s\n",
                       mem->type.invitation ? "invitation " : "",
                       mem->type.passive ? "passive " : "",
                       mem->type.secret ? "secret " : "",
                       mem->type.reserved1 ? "rsv1 "  : "",
                       mem->type.reserved2 ? "rsv2 "  : "",
                       mem->type.reserved3 ? "rsv3 "  : "",
                       mem->type.reserved4 ? "rsv4 "  : "",
                       mem->type.reserved5 ? "rsv5"  : "");
                printf("  added_by: %lu\n", (unsigned long)mem->added_by);
                printf("  added_at: %lu\n", (unsigned long)mem->added_at);

                if (confirm("Copy membership to member"))
                {
                    mem->added_at = mship->added_at;
                    mem->added_by = mship->added_by;
                    mem->type = mship->type;
                    modifications++;
                }
                else if (confirm("Copy member to membership"))
                {
                    mship->added_at = mem->added_at;
                    mship->added_by = mem->added_by;
                    mship->type = mem->type;
                    modifications++;
                }
            }
        }
Per Cederqvist's avatar
Per Cederqvist committed
917 918
    }

919
    return errors;
Per Cederqvist's avatar
Per Cederqvist committed
920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940
}

	    

static int
check_membership_list(Pers_no pno,
		      const Membership_list *mlist)
{
    int errors=0;
    int i;
    
    for (i = 0; i < mlist->no_of_confs; i++)
	errors += check_membership(pno, &mlist->confs[i]);

    return errors;
}


static int
check_persons(void)
{
Per Cederqvist's avatar
Per Cederqvist committed
941 942
    static char crypt_seed[] = 
	"abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789./";
Per Cederqvist's avatar
Per Cederqvist committed
943 944 945 946 947 948
    Pers_no     cp = 0;
    Person     *pstat=NULL;
    Conference *cstat=NULL;
    long	errors = 0;
    Pers_no	number_of_persons=0;

949
    while ( (cp = traverse_person(cp)) != 0 )
Per Cederqvist's avatar
Per Cederqvist committed
950 951 952 953 954 955 956
    {
	number_of_persons++;
	pstat = cached_get_person_stat (cp);
	cstat = cached_get_conf_stat (cp);
	
	if ( pstat == NULL )
	{
David Byers's avatar
David Byers committed
957
	    kom_log("Person %lu nonexistent.\n", (unsigned long)cp);
Per Cederqvist's avatar
Per Cederqvist committed
958 959 960 961
	    errors++;
	}
	else if (cstat == NULL)
	{
David Byers's avatar
David Byers committed
962
	    kom_log("Person %lu has no conference.\n", (unsigned long)cp);
Per Cederqvist's avatar
Per Cederqvist committed
963 964 965 966
	    errors++;
	}
	else if (!cstat->type.letter_box)
	{
David Byers's avatar
David Byers committed
967
	    kom_log("Person %lu's conference is not a letter_box.\n",
968
		(unsigned long)cp);
Per Cederqvist's avatar
Per Cederqvist committed
969 970 971 972 973 974 975
	    errors++;
	}
	else
	{
	    errors += (check_created_texts(cp, &pstat->created_texts)
		       + check_membership_list(cp, &pstat->conferences));
	}
976 977 978 979

	if (unset_change_name_is_error == 1
	    && pstat->privileges.change_name == 0)
	{
David Byers's avatar
David Byers committed
980
	    kom_log("Person %lu has no change_name capability.\n",
981
		(unsigned long)cp);
Per Cederqvist's avatar
Per Cederqvist committed
982

983 984 985 986 987 988 989 990 991
	    if (rflag || confirm("Grant him the capability"))
	    {
		pstat->privileges.change_name = 1;
		mark_person_as_changed(cp);
		modifications++;
	    }
	    else
		errors++;
	}
Per Cederqvist's avatar
Per Cederqvist committed
992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012
	if (cp == reset_pwd)
	{
	    char salt[3];
	  
	    salt[0] = crypt_seed [rand() % (sizeof (crypt_seed) - 1)];
	    salt[1] = crypt_seed [rand() % (sizeof (crypt_seed) - 1)];
	    salt[2] = '\0';
	  
	    strcpy((char *)pstat->pwd, (const char *)crypt("", salt));
	    mark_person_as_changed(cp);
	    modifications++;
	}

	if (cp == grant_all)
	{
	    pstat->privileges.wheel = 1;
	    pstat->privileges.admin = 1;
	    pstat->privileges.statistic = 1;
	    pstat->privileges.create_pers = 1;
	    pstat->privileges.create_conf = 1;
	    pstat->privileges.change_name = 1;
1013
	    pstat->privileges.flg7 = 1;
Per Cederqvist's avatar
Per Cederqvist committed
1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025
	    pstat->privileges.flg8 = 1;
	    pstat->privileges.flg9 = 1;
	    pstat->privileges.flg10 = 1;
	    pstat->privileges.flg11 = 1;
	    pstat->privileges.flg12 = 1;
	    pstat->privileges.flg13 = 1;
	    pstat->privileges.flg14 = 1;
	    pstat->privileges.flg15 = 1;
	    pstat->privileges.flg16 = 1;
	    mark_person_as_changed(cp);
	    modifications++;
	}
Per Cederqvist's avatar
Per Cederqvist committed
1026 1027 1028
    }

    if (vflag)
David Byers's avatar
David Byers committed
1029
	kom_log("Total of %lu persons.\n", (unsigned long)number_of_persons);
Per Cederqvist's avatar
Per Cederqvist committed
1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045
    
    return errors;
}

static Bool
is_recipient(Conf_no	 conf_no,
	     Text_stat * t_stat)
{
    int i;
    
    for ( i = 0; i < t_stat->no_of_misc; i++ )
    {
	switch( t_stat->misc_items[ i ].type )
	{
	case recpt:
	case cc_recpt:
1046
	case bcc_recpt:
1047
	    if ( t_stat->misc_items[ i ].datum.recipient == conf_no )
1048 1049 1050 1051
	    {
		return TRUE;
	    }
	    break;
1052

Per Cederqvist's avatar
Per Cederqvist committed
1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065
	case rec_time:
	case comm_to:
	case comm_in:
	case footn_to:
	case footn_in:
	case sent_by:
	case sent_at:
	case loc_no:
	    break;
	    
#ifndef COMPILE_CHECKS
	default:
#endif
1066 1067
	case unknown_info:
	    restart_kom("is_recipient(): illegal misc_item\n");
Per Cederqvist's avatar
Per Cederqvist committed
1068 1069 1070 1071 1072 1073 1074 1075
	}
    }

    return FALSE;
}

static int
check_texts_in_conf(Conf_no cc,
1076
		    Local_to_global *tlist)
Per Cederqvist's avatar
Per Cederqvist committed
1077 1078
{
    Text_stat *t;
1079
    int errors=0;
1080 1081 1082 1083
    L2g_iterator iter;
    struct delete_list *del_list = NULL;
    
    for (l2gi_searchall(&iter, tlist); !iter.search_ended; l2gi_next(&iter))
Per Cederqvist's avatar
Per Cederqvist committed
1084
    {
1085 1086 1087 1088
	assert(iter.lno != 0);
	assert(iter.tno != 0);
	t = cached_get_text_stat(iter.tno);
	if (t == NULL)
Per Cederqvist's avatar
Per Cederqvist committed
1089
	{
David Byers's avatar
David Byers committed
1090
	    kom_log("Text %lu<%lu> in conference %lu is non-existent.\n",
1091 1092 1093 1094 1095
		(unsigned long)iter.tno,
		(unsigned long)iter.lno,
		(unsigned long)cc);

	    if (rflag || confirm("Repair by deleting the Text_no in the map?"))
Per Cederqvist's avatar
Per Cederqvist committed
1096
	    {
1097 1098 1099
		delete_list_append(&del_list, iter.lno);
		mark_conference_as_changed(cc);
		modifications++;
David Byers's avatar
David Byers committed
1100
		kom_log("Repaired: %lu is no longer a recipient.\n",
1101
		    (unsigned long)cc);
1102 1103 1104 1105 1106 1107 1108 1109
	    }
	    else
		errors++;
	}
	else
	{
	    if (!is_recipient(cc, t))
	    {
David Byers's avatar
David Byers committed
1110
		kom_log("Text %lu<%lu> in conference %lu %s.\n",
1111 1112 1113 1114
		    (unsigned long)iter.tno,
		    (unsigned long)iter.lno,
		    (unsigned long)cc,
		    "doesn't have the conference as recipient");
Per Cederqvist's avatar
Per Cederqvist committed
1115

1116
		if (confirm("Repair by deleting Text_no from the map?") )
Per Cederqvist's avatar
Per Cederqvist committed
1117
		{
1118
		    delete_list_append(&del_list, iter.lno);
Per Cederqvist's avatar
Per Cederqvist committed
1119 1120
		    mark_conference_as_changed(cc);
		    modifications++;
David Byers's avatar
David Byers committed
1121
		    kom_log("Repaired: %lu is no longer a recipient.\n",
1122
			(unsigned long)cc);
Per Cederqvist's avatar
Per Cederqvist committed
1123 1124
		}
		else
1125
		    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
1126 1127 1128
	    }
	}
    }
1129
    execute_deletions(tlist, &del_list);
Per Cederqvist's avatar
Per Cederqvist committed
1130

1131
    return errors;
Per Cederqvist's avatar
Per Cederqvist committed
1132 1133
}

1134
Membership *