dbck.c 39.4 KB
Newer Older
Linus Tolke Y's avatar
Linus Tolke Y committed
1
/*
2
 * $Id: dbck.c,v 0.68 2002/09/06 22:42:42 ceder Exp $
Per Cederqvist's avatar
Per Cederqvist committed
3
 * 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 "kom-errno.h"
75
#include "manipulate.h"
Per Cederqvist's avatar
Per Cederqvist committed
76
#include "version-info.h"
77
#include "ram-output.h"
78
#include "unused.h"
79
#include "local-to-global.h"
80
#include "lockdb.h"
Per Cederqvist's avatar
Per Cederqvist committed
81

82 83 84 85 86 87 88 89

#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
90 91 92 93 94 95 96 97 98 99 100 101
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' },
102 103 104 105 106 107 108
    {"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
109 110 111 112 113
    {"help", 0, 0, 'h' },
    { 0, 0, 0, 0 }
};

    
114

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

117 118 119 120
/* 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
121
int vflag=0;			/* Verbose - list statistics also. */
Per Cederqvist's avatar
Per Cederqvist committed
122 123 124 125
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
126 127
static Pers_no reset_pwd=0;	/* Person whose password should be cleared. */
static Pers_no grant_all=0;	/* Person which should receive all bits. */
128 129 130

/* The following variable holds the output format */

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

134 135 136 137 138
/* The following variables hold kom_info modifications */

int pers_pres_conf = -1;
int conf_pres_conf = -1;
int motd_conf = -1;
139
Text_no motd_of_lyskom = (Text_no)-1;
140 141 142
int kom_news_conf = -1;


143 144
/* 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
145
static int unset_change_name_is_error=0;
146

147 148
/* 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
149
static int dump_text_numbers=0;
150

Per Cederqvist's avatar
Per Cederqvist committed
151 152 153 154 155 156 157 158
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
159
static Person_scratchpad **person_scratchpad = NULL;
Per Cederqvist's avatar
Per Cederqvist committed
160

David Byers's avatar
David Byers committed
161 162
int buglevel = 0;
BUGDECL;
Per Cederqvist's avatar
Per Cederqvist committed
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 195

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

    va_start(AP, format);

    vfprintf(stdout, format, AP);

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

Per Cederqvist's avatar
Per Cederqvist committed
218
#if defined(HAVE_VFPRINTF) && defined(HAVE_STDARG_H)
Per Cederqvist's avatar
Per Cederqvist committed
219 220 221 222 223 224 225 226 227 228 229 230
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
231
#else
232
extern void
233 234 235
restart_kom (format, a, b, c, d, e, f, g)
     const char * format;
     int a, b, c, d, e, f, g;
236 237 238 239 240
{
    fprintf(stdout, format, a, b, c, d, e, f, g);
    exit(1);
}
#endif
Per Cederqvist's avatar
Per Cederqvist committed
241

242

Per Cederqvist's avatar
Per Cederqvist committed
243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264
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:
265
	    if ( parent->misc_items[ i ].datum.text_link == comment )
Per Cederqvist's avatar
Per Cederqvist committed
266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286
		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:
287
	    if ( child->misc_items[ i ].datum.text_link == parent )
Per Cederqvist's avatar
Per Cederqvist committed
288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308
		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:
309
	    if ( parent->misc_items[ i ].datum.text_link == footnote )
Per Cederqvist's avatar
Per Cederqvist committed
310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330
		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:
331
	    if ( child->misc_items[ i ].datum.text_link == parent )
Per Cederqvist's avatar
Per Cederqvist committed
332 333 334 335 336 337 338 339 340 341
		return TRUE;
	    break;
	default:
	    break;
	}
    }

    return FALSE;
}

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

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

    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. */
375
    Bool ready = FALSE;
Per Cederqvist's avatar
Per Cederqvist committed
376 377 378 379 380 381
    
    /* Check range of misc */

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

    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:
399
        case bcc_recpt:
Per Cederqvist's avatar
Per Cederqvist committed
400 401 402 403 404 405 406 407 408 409
	case footn_to:
	case footn_in:
	case comm_to:
	case comm_in:
	    ready = TRUE;
	    break;

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

    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
427
confirm(const char *question)
Per Cederqvist's avatar
Per Cederqvist committed
428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449
{
    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;
}
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 526


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
527 528 529 530 531 532 533 534 535
    
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;
536
    
537
    long errors=0;
Per Cederqvist's avatar
Per Cederqvist committed
538 539 540 541 542 543 544 545 546

    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:
547 548 549
	    check_misc_any_recipient(tno, tstat, "recipient",
				     group.recipient, group.local_no,
				     previous, &misc);
Per Cederqvist's avatar
Per Cederqvist committed
550 551 552
	    break;

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

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

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

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

		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
577
		    kom_log("Repaired: Comment-link deleted.\n");
Per Cederqvist's avatar
Per Cederqvist committed
578 579 580
		    misc = previous;
		}
		else
581
		    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
582
		    
583
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
584 585 586
	    }
	    else if (!is_comment_to(tno, t))
	    {
David Byers's avatar
David Byers committed
587
		kom_log("Text %lu is a comment to %lu, but not the reverse.\n",
588
		    (unsigned long)tno, (unsigned long)group.comment_to);
589
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
590 591 592 593 594 595 596 597 598
	    }

	    break;

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

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

		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
607
		    kom_log("Repaired: Comment-link deleted.\n");
Per Cederqvist's avatar
Per Cederqvist committed
608 609 610
		    misc = previous;
		}
		else
611
		    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
612 613 614
	    }
	    else if (!is_commented_in(tno, t))
	    {
David Byers's avatar
David Byers committed
615
		kom_log("Text %lu is commented in %lu, but not the reverse.\n",
616
		    (unsigned long)tno, (unsigned long)group.commented_in);
617
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
618 619 620 621 622 623 624 625 626
	    }

	    break;

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

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

		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
635
		    kom_log("Repaired: Footnote-link deleted.\n");
Per Cederqvist's avatar
Per Cederqvist committed
636 637 638
		    misc = previous;
		}
		else
639
		    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
640 641 642
	    }
	    else if (!is_footnote_to(tno, t))
	    {
David Byers's avatar
David Byers committed
643
		kom_log("Text %lu is a footnote to %lu, but not the reverse.\n",
644
		    (unsigned long)tno, (unsigned long)group.footnote_to);
645
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
646 647 648 649 650 651 652 653 654
	    }

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

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

		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
663
		    kom_log("Repaired: Footnote-link deleted.\n");
Per Cederqvist's avatar
Per Cederqvist committed
664 665 666
		    misc = previous;
		}
		else
667
		    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
668 669 670
	    }
	    else if (!is_footnoted_in(tno, t))
	    {
David Byers's avatar
David Byers committed
671
		kom_log("Text %lu is footnoted in %lu, but not the reverse.\n",
672
		    (unsigned long)tno, (unsigned long)group.footnoted_in);
673
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
674 675 676 677 678
	    }

	    break;

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

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

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

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

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

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

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


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

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

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

777
	if ( t == NULL )
Per Cederqvist's avatar
Per Cederqvist committed
778
	{
David Byers's avatar
David Byers committed
779
	    kom_log("Person %lu is author of text %lu, which doesn't exist.\n",
780 781 782 783 784 785 786
		(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
787
		kom_log("Repaired: created_texts corrected.\n");
788 789 790
	    }
	    else
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
791
	}
792
	
Per Cederqvist's avatar
Per Cederqvist committed
793
    }
794
    execute_deletions(created, &del_list);
Per Cederqvist's avatar
Per Cederqvist committed
795
    
796
    return errors;
Per Cederqvist's avatar
Per Cederqvist committed
797 798 799 800
}

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

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

	    last = mship->read_texts[i];
	}

	/* Check that he is a member */
David Byers's avatar
David Byers committed
846
	if ( (mem = locate_member(pno, conf)) == NULL )
Per Cederqvist's avatar
Per Cederqvist committed
847
	{
David Byers's avatar
David Byers committed
848
	    kom_log("Person %lu is a member in %lu in which he isn't a member.\n",
849
		(unsigned long)pno, (unsigned long)mship->conf_no);
850
	    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
851
	}
David Byers's avatar
David Byers committed
852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869
        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
870
                kom_log("Person %lu membership in %lu does not match member record.\n",
David Byers's avatar
David Byers committed
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 917
                    (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
918 919
    }

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

	    

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
942 943
    static char crypt_seed[] = 
	"abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789./";
Per Cederqvist's avatar
Per Cederqvist committed
944 945 946 947 948 949
    Pers_no     cp = 0;
    Person     *pstat=NULL;
    Conference *cstat=NULL;
    long	errors = 0;
    Pers_no	number_of_persons=0;

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

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

984 985 986 987 988 989 990 991 992
	    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
993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013
	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;
1014
	    pstat->privileges.flg7 = 1;
Per Cederqvist's avatar
Per Cederqvist committed
1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026
	    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
1027 1028 1029
    }

    if (vflag)
David Byers's avatar
David Byers committed
1030
	kom_log("Total of %lu persons.\n", (unsigned long)number_of_persons);
Per Cederqvist's avatar
Per Cederqvist committed
1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046
    
    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:
1047
	case bcc_recpt:
1048
	    if ( t_stat->misc_items[ i ].datum.recipient == conf_no )
1049 1050 1051 1052
	    {
		return TRUE;
	    }
	    break;
1053

Per Cederqvist's avatar
Per Cederqvist committed
1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066
	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
1067 1068
	case unknown_info:
	    restart_kom("is_recipient(): illegal misc_item\n");
Per Cederqvist's avatar
Per Cederqvist committed
1069 1070 1071 1072 1073 1074 1075 1076
	}
    }

    return FALSE;
}

static int
check_texts_in_conf(Conf_no cc,
1077
		    Local_to_global *tlist)
Per Cederqvist's avatar
Per Cederqvist committed
1078 1079
{
    Text_stat *t;
1080
    int errors=0;
1081 1082 1083 1084
    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
1085
    {
1086 1087 1088 1089
	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
1090
	{
David Byers's avatar
David Byers committed
1091
	    kom_log("Text %lu<%lu> in conference %lu is non-existent.\n",
1092 1093 1094 1095 1096
		(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
1097
	    {
1098 1099 1100
		delete_list_append(&del_list, iter.lno);
		mark_conference_as_changed(cc);
		modifications++;
David Byers's avatar
David Byers committed
1101
		kom_log("Repaired: %lu is no longer a recipient.\n",
1102
		    (unsigned long)cc);
1103 1104 1105 1106 1107 1108 1109 1110
	    }
	    else
		errors++;
	}
	else
	{
	    if (!is_recipient(cc, t))
	    {
David Byers's avatar
David Byers committed
1111
		kom_log("Text %lu<%lu> in conference %lu %s.\n",
1112 1113 1114 1115
		    (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
1116

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